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

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index de5c5a0..89fd193 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -92,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)