diff options
Diffstat (limited to 'src/Haddock/Convert.hs')
-rw-r--r-- | src/Haddock/Convert.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index 8dac4a08..96133186 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -24,7 +24,7 @@ import TypeRep import Type ( splitKindFunTys ) import BasicTypes #else -import Coercion ( splitKindFunTys ) +import Coercion ( splitKindFunTys, synTyConResKind ) #endif import Name import Var @@ -101,15 +101,15 @@ synifyTyCon tc [] -- "deriving" needn't be specified: Nothing - | isOpenSynTyCon tc = + | isSynFamilyTyCon tc = case synTyConRhs tc of - OpenSynTyCon rhs_kind _ -> + SynFamilyTyCon -> TyFamily TypeFamily (synifyName tc) (synifyTyVars (tyConTyVars tc)) - (Just rhs_kind) + (Just (synTyConResKind tc)) _ -> error "synifyTyCon: impossible open type synonym?" - | isOpenTyCon tc = --(why no "isOpenAlgTyCon"?) + | isDataFamilyTyCon tc = --(why no "isOpenAlgTyCon"?) case algTyConRhs tc of - OpenTyCon _ -> + DataFamilyTyCon -> TyFamily DataFamily (synifyName tc) (synifyTyVars (tyConTyVars tc)) Nothing --always kind '*' _ -> error "synifyTyCon: impossible open data type?" |