X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FTypeRep.lhs;h=1be55d76a5048edc5b2693621d50050ef062b8a2;hp=7fdf4ae4dffca97099c1c052e3da88943044881e;hb=cf5905ea24904cf73a041fd7535e8723a668cb9a;hpb=25fa4bdbff4a84d6717c4ff7cdf7080687616818;ds=sidebyside

diff --git a/compiler/types/TypeRep.lhs b/compiler/types/TypeRep.lhs
index 7fdf4ae..1be55d7 100644
--- a/compiler/types/TypeRep.lhs
+++ b/compiler/types/TypeRep.lhs
@@ -541,6 +541,8 @@ ppr_tc_app _ tc [ty]
   | tc `hasKey` argTypeKindTyConKey      = ptext (sLit "??")
 
 ppr_tc_app p tc tys
+  | [ecvar,ty] <- tys, tc `hasKey` hetMetCodeTypeTyConKey
+  = ptext (sLit "<[")  <> pprType ty <> ptext (sLit "]>@") <> ppr ecvar
   | isTupleTyCon tc && tyConArity tc == length tys
   = tupleParens (tupleTyConBoxity tc) (sep (punctuate comma (map pprType tys)))
   | otherwise