[pretty print ypes and coercions in a nicer way
John Meacham <john@repetae.net>**20060315012243] hunk ./FrontEnd/HsPretty.hs 454
+	ppInfix (HsAsPat as (HsVar n)) | dump FD.Aspats = ppHsName as <> char '@' <> ppHsQNameInfix n
hunk ./FrontEnd/HsPretty.hs 456
+	ppInfix (HsAsPat as (HsCon n)) | dump FD.Aspats = ppHsName as <> char '@' <> ppHsQNameInfix n
hunk ./FrontEnd/Representation.hs 230
-instance PPrint Doc Type where
-  pprint t = fst $ runVarName [] nameSupply $ prettyPrintTypeM t
+--instance PPrint a Type where
+--  pprint t = fst $ runVarName [] nameSupply $ prettyPrintTypeM t
hunk ./FrontEnd/Tc/Type.hs 111
+instance DocLike d => PPrint d Type where
+    pprint = prettyPrintType
hunk ./FrontEnd/Tc/Type.hs 341
-    deriving(Show)
hunk ./FrontEnd/Tc/Type.hs 342
+instance Show CoerceTerm where
+    showsPrec _ CTId = showString "id"
+    showsPrec n (CTAp ts) = ptrans (n > 10) parens $ char '@' <+> hsep (map (parens . prettyPrintType) ts)
+    showsPrec n (CTAbs ts) = ptrans (n > 10) parens $ char '\\' <+> hsep (map pprint ts)
+    showsPrec n (CTFun ct) = ptrans (n > 10) parens $ text "->" <+> showsPrec 11 ct
+    showsPrec n (CTCompose ct1 ct2) = ptrans (n > 10) parens $ (showsPrec 11 ct1) <+> char '.' <+> (showsPrec 11 ct2)
+
+
+ptrans b f = if b then f else id