diff options
| author | Ian Lynagh <igloo@earth.li> | 2012-02-21 23:03:41 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2012-02-22 01:46:33 +0000 |
| commit | 544926d7c6fe5823eb12b7907853e34ad7444b9b (patch) | |
| tree | 3871220450f474ef8d62bac92e21e948fbd39212 /compiler/iface/IfaceSyn.lhs | |
| parent | 62494e7b8276f613233f2fbcc2d5c545bd39c86d (diff) | |
| download | haskell-544926d7c6fe5823eb12b7907853e34ad7444b9b.tar.gz | |
Remove support for CTYPE pragmas on type synonyms
It's not clear whether it's desirable or not, and it turns out that
the way we use coercions in GHC means we tend to lose information
about type synonyms.
Diffstat (limited to 'compiler/iface/IfaceSyn.lhs')
| -rw-r--r-- | compiler/iface/IfaceSyn.lhs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/iface/IfaceSyn.lhs b/compiler/iface/IfaceSyn.lhs index 62b8234a96..44703d20a1 100644 --- a/compiler/iface/IfaceSyn.lhs +++ b/compiler/iface/IfaceSyn.lhs @@ -80,7 +80,6 @@ data IfaceDecl } | IfaceSyn { ifName :: OccName, -- Type constructor - ifCType :: Maybe CType, -- C type for CAPI FFI ifTyVars :: [IfaceTvBndr], -- Type variables ifSynKind :: IfaceKind, -- Kind of the *rhs* (not of the tycon) ifSynRhs :: Maybe IfaceType -- Just rhs for an ordinary synonyn @@ -455,11 +454,11 @@ pprIfaceDecl (IfaceId {ifName = var, ifType = ty, pprIfaceDecl (IfaceForeign {ifName = tycon}) = hsep [ptext (sLit "foreign import type dotnet"), ppr tycon] -pprIfaceDecl (IfaceSyn {ifName = tycon, ifCType = cType, +pprIfaceDecl (IfaceSyn {ifName = tycon, ifTyVars = tyvars, ifSynRhs = Just mono_ty}) = hang (ptext (sLit "type") <+> pprIfaceDeclHead [] tycon tyvars) - 4 (vcat [pprCType cType, equals <+> ppr mono_ty]) + 4 (vcat [equals <+> ppr mono_ty]) pprIfaceDecl (IfaceSyn {ifName = tycon, ifTyVars = tyvars, ifSynRhs = Nothing, ifSynKind = kind }) |