Skip to content
Snippets Groups Projects
Commit a711607e authored by Hannes Siebenhandl's avatar Hannes Siebenhandl
Browse files

Adapt to `IfLclName` newtype changes

parent 5377ec40
No related branches found
No related tags found
1 merge request!59Add IfaceType deduplication table to interface file serialisation
......@@ -124,15 +124,15 @@ recoverFullIfaceTypes df flattened ast = fmap (printed A.!) ast
-- Unfold an 'HieType' whose subterms have already been unfolded
go :: HieType IfaceType -> IfaceType
go (HTyVarTy n) = IfaceTyVar (getOccFS n)
go (HTyVarTy n) = IfaceTyVar (mkIfLclName $ getOccFS n)
go (HAppTy a b) = IfaceAppTy a (hieToIfaceArgs b)
go (HLitTy l) = IfaceLitTy l
go (HForAllTy ((n,k),af) t) = let b = (getOccFS n, k)
go (HForAllTy ((n,k),af) t) = let b = (mkIfLclName $ getOccFS n, k)
in IfaceForAllTy (Bndr (IfaceTvBndr b) af) t
go (HFunTy w a b) = IfaceFunTy (visArg TypeLike) w a b -- t1 -> t2
go (HQualTy con b) = IfaceFunTy (invisArg TypeLike) many_ty con b -- c => t
go (HCastTy a) = a
go HCoercionTy = IfaceTyVar "<coercion type>"
go HCoercionTy = IfaceTyVar $ mkIfLclName "<coercion type>"
go (HTyConApp a xs) = IfaceTyConApp a (hieToIfaceArgs xs)
-- This isn't fully faithful - we can't produce the 'Inferred' case
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment