From 46972e7feceeef4daadd2beea5c6ab082ec05e38 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 13 Sep 2010 09:53:00 +0000 Subject: Adapt to minor changes in internal GHC functions --- src/Haddock/Convert.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/Haddock/Convert.hs') 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?" -- cgit v1.2.3