X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFamInstEnv.lhs;h=89fd193914b502f1ce3ff7b6a0e8ad7cf5c40be7;hb=0e73a9fbdc8555ffb948cfd72401a700b122c395;hp=5ea2096ae172e71fb74afda2cc175a4cedad6a49;hpb=8897e76874e10daa4dc695342e68b15e114a6de0;p=ghc-hetmet.git

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index 5ea2096..89fd193 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -36,8 +36,6 @@ import Outputable
 import Maybes
 import Util
 import FastString
-
-import Maybe
 \end{code}
 
 
@@ -94,10 +92,11 @@ pprFamInstHdr (FamInst {fi_fam = fam, fi_tys = tys, fi_tycon = tycon})
   = pprTyConSort <+> pprHead
   where
     pprHead = pprTypeApp fam tys
-    pprTyConSort | isDataTyCon tycon = ptext (sLit "data instance")
-		 | isNewTyCon  tycon = ptext (sLit "newtype instance")
-		 | isSynTyCon  tycon = ptext (sLit "type instance")
-		 | otherwise	     = panic "FamInstEnv.pprFamInstHdr"
+    pprTyConSort | isDataTyCon     tycon = ptext (sLit "data instance")
+		 | isNewTyCon      tycon = ptext (sLit "newtype instance")
+		 | isSynTyCon      tycon = ptext (sLit "type instance")
+		 | isAbstractTyCon tycon = ptext (sLit "data instance")
+		 | otherwise	         = panic "FamInstEnv.pprFamInstHdr"
 
 pprFamInsts :: [FamInst] -> SDoc
 pprFamInsts finsts = vcat (map pprFamInst finsts)