[fix type printing, pretty print types in error messages
John Meacham <john@repetae.net>**20051210050641] hunk ./FrontEnd/Tc/Monad.hs 243
-    let ident = toName TypeVal (tcInfoModName $ tcInfo te,'v':show n)
+    let ident = toName TypeVal ('v':show n)
hunk ./FrontEnd/Tc/Type.hs 21
-import List
hunk ./FrontEnd/Tc/Type.hs 22
+import List
hunk ./FrontEnd/Tc/Type.hs 25
-import Util.VarName
-import Unparse
hunk ./FrontEnd/Tc/Type.hs 28
+import Unparse
+import Util.VarName
hunk ./FrontEnd/Tc/Type.hs 86
-extractMetaTV t = fail $ "not a metaTyVar:" ++ prettyPrintType t
+extractMetaTV t = fail $ "not a metaTyVar:" ++ show t
hunk ./FrontEnd/Tc/Type.hs 90
-extractTyVar t = fail $ "not a Var:" ++ prettyPrintType t
+extractTyVar t = fail $ "not a Var:" ++ show t
hunk ./FrontEnd/Tc/Type.hs 108
-    f (TVar tyvar) = do
+    f t | Just tyvar <- extractTyVar t = do
hunk ./FrontEnd/Tc/Type.hs 111
+           -- check for the Prelude.[] special case
+    f t | Just tyvar <- extractMetaTV t = do
+        --vo <- newLookupName ['a' .. ] () tyvar
+        return $ atom $  pprint tyvar
+    --f t | Just tyvar <- extractMetaTV t = do
+    --    vo <- newLookupName ['a' .. ] () tyvar
+    --    return $ atom $  text (vo:"'")
hunk ./FrontEnd/Tc/Unify.hs 5
-import qualified Text.PrettyPrint.HughesPJ as P
hunk ./FrontEnd/Tc/Unify.hs 12
-pretty vv = show ( pprint vv :: P.Doc)
+pretty vv = prettyPrintType vv
hunk ./FrontEnd/Tc/Unify.hs 75
-            a' <- findType a
-            b' <- findType b
-            fail $ "subsumes failure: " ++ show ((a,b),(a',b'))
+            fail $ "subsumes failure: "  <> ppretty s1 <+> ppretty s2
hunk ./FrontEnd/Tc/Unify.hs 77
-    sub a b = fail $ "subsumes failure: " ++ show (a,b)
+    sub a b = fail $ "subsumes failure: " <> ppretty s1 <+> ppretty s2
hunk ./FrontEnd/Tc/Unify.hs 89
-        when b' $  fail $ "boxyMatch failure: " ++ show (s1,s2)
+        when b' $  fail $ "boxyMatch failure: " <> ppretty s1 <+> ppretty s2