X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Fiface%2FMkIface.lhs;h=2069f895aa43231d1db4d885cd7ba3633e3d7685;hb=0cb269be72ffe42498c74d5be845eb27d8818423;hp=3bc9257c65ab978a255829a1ad1dea3d5ac20ff3;hpb=129e40f1ba90cdccee79009a33482dcfd537fd88;p=ghc-hetmet.git diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs index 3bc9257..2069f89 100644 --- a/compiler/iface/MkIface.lhs +++ b/compiler/iface/MkIface.lhs @@ -191,7 +191,7 @@ import TyCon ( TyCon, AlgTyConRhs(..), SynTyConRhs(..), isTupleTyCon, tupleTyConBoxity, tyConStupidTheta, tyConHasGenerics, synTyConRhs, isGadtSyntaxTyCon, tyConArity, tyConTyVars, algTyConRhs, tyConExtName, - tyConFamInst_maybe, tyConFamInstIndex ) + tyConFamInst_maybe ) import DataCon ( dataConName, dataConFieldLabels, dataConStrictMarks, dataConTyCon, dataConIsInfix, dataConUnivTyVars, dataConExTyVars, dataConEqSpec, dataConTheta, @@ -1036,8 +1036,7 @@ tyThingToIfaceDecl ext (ATyCon tycon) ifRec = boolToRecFlag (isRecursiveTyCon tycon), ifGadtSyntax = isGadtSyntaxTyCon tycon, ifGeneric = tyConHasGenerics tycon, - ifFamInst = famInstToIface (tyConFamInst_maybe tycon) - (tyConFamInstIndex tycon) } + ifFamInst = famInstToIface (tyConFamInst_maybe tycon)} | isForeignTyCon tycon = IfaceForeign { ifName = getOccName tycon, @@ -1088,9 +1087,9 @@ tyThingToIfaceDecl ext (ATyCon tycon) to_eq_spec spec = [(getOccName tv, toIfaceType ext ty) | (tv,ty) <- spec] - famInstToIface Nothing _ = Nothing - famInstToIface (Just (famTyCon, instTys)) index = - Just (toIfaceTyCon ext famTyCon, map (toIfaceType ext) instTys, index) + famInstToIface Nothing = Nothing + famInstToIface (Just (famTyCon, instTys)) = + Just (toIfaceTyCon ext famTyCon, map (toIfaceType ext) instTys) tyThingToIfaceDecl ext (ADataCon dc) = pprPanic "toIfaceDecl" (ppr dc) -- Should be trimmed out earlier