[use precidence info for PPrint instances for Tc.Kind and Lit
John Meacham <john@repetae.net>**20070509055909] hunk ./E/Show.hs 50
-    pprint x = prettyE (ELit x)
+    pprintPrec n x | n <= 9    = prettyE (ELit x)
+                   | otherwise = parens (prettyE (ELit x))
hunk ./FrontEnd/Tc/Kind.hs 21
-import Doc.PPrint(pprint,PPrint)
+import Doc.PPrint(pprint,pprintPrec,PPrint)
hunk ./FrontEnd/Tc/Kind.hs 123
+
hunk ./FrontEnd/Tc/Kind.hs 128
-    showsPrec _ k = pprint k
+    showsPrec n k = pprintPrec n k
hunk ./FrontEnd/Tc/Kind.hs 131
-    showsPrec _ k = pprint k
+    showsPrec n k = pprintPrec n k
hunk ./FrontEnd/Tc/Kind.hs 146
-   pprint (KBase b) = pprint b
-   pprint (KVar kindVar)   = pprint kindVar
-   pprint (Kfun (KBase b) k2)   = pprint b <+> text "->" <+> pprint k2
-   pprint (Kfun (KVar b)  k2)   = pprint b <+> text "->" <+> pprint k2
-   pprint (Kfun k1   b) = text "(" <> pprint k1 <> text ")" <+> text "->" <+> pprint b
---   pprint (Kfun k1   (KVar b)) = text "(" <> pprint k1 <> text ")" <+> text "->" <+> pprint b
---   pprint (Kfun k1   k2)   = text "(" <> pprint k1 <> text ") -> (" <> pprint k2 <> text ")"
+   pprintPrec _ (KBase b) = pprint b
+   pprintPrec _ (KVar kindVar)   = pprint kindVar
+   pprintPrec p k | p > 9 = parens $ pprint k
+   pprintPrec _ (Kfun k1 k2) = pprintPrec 10 k1 <+> text "->" <+> pprint k2
+
+