X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FTypeRep.lhs;h=ec2091497ba68a2f3d5b99d01704c0c210e3974e;hp=4f0e9d8e9ce3bd6b2368c20de9dfe2d77fdddaa7;hb=9241ac84d10f7e6b23841da2c0765275072ad7c1;hpb=f22c873e99d5b371a03d249febb89195a4fda2fc

diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs
index 4f0e9d8..ec20914 100644
--- a/compiler/types/TypeRep.lhs
+++ b/compiler/types/TypeRep.lhs
@@ -652,6 +652,9 @@ pprTcApp p pp tc tys
   | isTupleTyCon tc && tyConArity tc == length tys
   = tupleParens (tupleTyConBoxity tc) (sep (punctuate comma (map (pp TopPrec) tys)))
 
+  | tc `hasKey` hetMetKappaTyConKey, [ty1,ty2] <- tys
+  = pp TopPrec ty1 <> ptext (sLit "~~>") <> pp TopPrec ty2
+
   | tc `hasKey` hetMetCodeTypeTyConKey, [ty1,ty2] <- tys
   = ptext (sLit "<[") <> pp TopPrec ty2 <> ptext (sLit "]>@") <> pp TopPrec ty1