diff options
| author | Ian Lynagh <igloo@earth.li> | 2012-02-16 13:01:27 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2012-02-16 13:40:11 +0000 |
| commit | 910e35147c999128db5b05585d0f76b02ae2b028 (patch) | |
| tree | 596bc7f153c82b75b28f05ddf600a97289827a19 /src/Haddock/Convert.hs | |
| parent | 826c95646493284ab3c7c07ba159e959c760983c (diff) | |
Follow changes in GHC caused by the CAPI CTYPE pragma
Diffstat (limited to 'src/Haddock/Convert.hs')
| -rw-r--r-- | src/Haddock/Convert.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index 82b57f0c..be5752d4 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -86,7 +86,7 @@ synifyAxiom (CoAxiom { co_ax_tvs = tvs, co_ax_lhs = lhs, co_ax_rhs = rhs }) tyvars = synifyTyVars tvs typats = map (synifyType WithinType) args hs_rhs_ty = synifyType WithinType rhs - in TySynonym name tyvars (Just typats) hs_rhs_ty + in TySynonym name Nothing tyvars (Just typats) hs_rhs_ty | otherwise = error "synifyAxiom" @@ -99,6 +99,7 @@ synifyTyCon tc -- no built-in type has any stupidTheta: (noLoc []) (synifyName tc) + Nothing -- tyConTyVars doesn't work on fun/prim, but we can make them up: (zipWith (\fakeTyVar realKind -> noLoc $ @@ -163,8 +164,8 @@ synifyTyCon tc alg_deriv = Nothing syn_type = synifyType WithinType (synTyConType tc) in if isSynTyCon tc - then TySynonym name tyvars typats syn_type - else TyData alg_nd alg_ctx name tyvars typats (fmap synifyKind alg_kindSig) alg_cons alg_deriv + then TySynonym name Nothing tyvars typats syn_type + else TyData alg_nd alg_ctx name Nothing tyvars typats (fmap synifyKind alg_kindSig) alg_cons alg_deriv -- User beware: it is your responsibility to pass True (use_gadt_syntax) |