X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FIfaceType.lhs;h=ee37891aa7249fb1dcd248f115022a0b50761e79;hp=70399e7e814f143cb0672ee90950b8a783541fbd;hb=2a8cdc3aee5997374273e27365f92c161aca8453;hpb=94abbcb6d1d3d28d0b2de965e1357ac7b8f8c40a diff --git a/compiler/iface/IfaceType.lhs b/compiler/iface/IfaceType.lhs index 70399e7..ee37891 100644 --- a/compiler/iface/IfaceType.lhs +++ b/compiler/iface/IfaceType.lhs @@ -10,7 +10,7 @@ module IfaceType ( IfaceContext, IfaceBndr(..), IfaceTvBndr, IfaceIdBndr, IfaceCoercion, IfaceExtName(..), mkIfaceExtName, isLocalIfaceExtName, - ifaceTyConName, + ifaceTyConName, ifaceTyConOccName, -- Conversion from Type -> IfaceType toIfaceType, toIfacePred, toIfaceContext, @@ -145,7 +145,9 @@ ifaceTyConName IfaceUbxTupleKindTc = ubxTupleKindTyConName ifaceTyConName IfaceArgTypeKindTc = argTypeKindTyConName ifaceTyConName (IfaceTc ext) = pprPanic "ifaceTyConName" (ppr ext) - +ifaceTyConOccName :: IfaceTyCon -> OccName -- Works for all! +ifaceTyConOccName (IfaceTc ext) = ifaceExtOcc ext +ifaceTyConOccName tycon = nameOccName . ifaceTyConName $ tycon \end{code}