X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fiface%2FIfaceSyn.lhs;h=9163560a4c5a48772e8da107ae40e969bf805dbd;hb=4e3255388e8b99ccdae290bfcb6cd666b8c93d4a;hp=4b84227b3790a15529311aa7887d6e3e03430bfe;hpb=d32c5227315009f38355fe3233f0f4e5b1f61dc6;p=ghc-hetmet.git diff --git a/ghc/compiler/iface/IfaceSyn.lhs b/ghc/compiler/iface/IfaceSyn.lhs index 4b84227..9163560 100644 --- a/ghc/compiler/iface/IfaceSyn.lhs +++ b/ghc/compiler/iface/IfaceSyn.lhs @@ -514,11 +514,13 @@ tyThingToIfaceDecl dis abstr ext (ADataCon dc) -------------------------- -dfunToIfaceInst :: ModuleName -> DFunId -> IfaceInst -dfunToIfaceInst mod dfun_id - = IfaceInst { ifDFun = getOccName dfun_id, +dfunToIfaceInst :: DFunId -> IfaceInst +dfunToIfaceInst dfun_id + = IfaceInst { ifDFun = nameOccName dfun_name, ifInstHead = toIfaceType (mkLhsNameFn mod) tidy_ty } where + dfun_name = idName dfun_id + mod = nameModuleName dfun_name (tvs, _, cls, tys) = tcSplitDFunTy (idType dfun_id) head_ty = mkForAllTys tvs (mkPredTy (mkClassPred cls tys)) -- No need to record the instance context;