diff options
| author | simonpj <simonpj@microsoft.com> | 2010-09-13 09:53:00 +0000 |
|---|---|---|
| committer | simonpj <simonpj@microsoft.com> | 2010-09-13 09:53:00 +0000 |
| commit | 46972e7feceeef4daadd2beea5c6ab082ec05e38 (patch) | |
| tree | 8538a53801c4a0791b1b65969d4159589c537b63 /src/Haddock/Convert.hs | |
| parent | d7491830802505bcfe4b518b190750e5ab021394 (diff) | |
Adapt to minor changes in internal GHC functions
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?" |