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

diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs
index db41403..4f0e9d8 100644
--- a/compiler/types/TypeRep.lhs
+++ b/compiler/types/TypeRep.lhs
@@ -648,8 +648,13 @@ pprTcApp _ pp tc [ty]
   | tc `hasKey` argTypeKindTyConKey      = ptext (sLit "??")
 
 pprTcApp p pp tc tys
+
   | isTupleTyCon tc && tyConArity tc == length tys
   = tupleParens (tupleTyConBoxity tc) (sep (punctuate comma (map (pp TopPrec) tys)))
+
+  | tc `hasKey` hetMetCodeTypeTyConKey, [ty1,ty2] <- tys
+  = ptext (sLit "<[") <> pp TopPrec ty2 <> ptext (sLit "]>@") <> pp TopPrec ty1
+
   | otherwise
   = pprTypeNameApp p pp (getName tc) tys