[be sure to record predicates introduced by explicitly declared functions, they may affect previous monomorphic bindings
John Meacham <john@repetae.net>**20100728090217
 Ignore-this: 5664ef3f69aaa3003a0901e51a729834
] hunk ./src/FrontEnd/Tc/Main.hs 12
+import Doc.PPrint
hunk ./src/FrontEnd/Tc/Main.hs 48
+tpretty vv = prettyPrintType vv
+tppretty vv = parens (tpretty vv)
hunk ./src/FrontEnd/Tc/Main.hs 90
+    printRule $ "tcApps': " ++ (show e)
hunk ./src/FrontEnd/Tc/Main.hs 106
+    printRule $ "tiExprPoly " ++ tppretty t <+> show e
hunk ./src/FrontEnd/Tc/Main.hs 759
-    assertEntailment qs (rs ++ ds)
+    printRule $ "endtiExpl: " <+> show ps <+> show qs <+> show ds <+> show rs
+    addPreds ds
+    assertEntailment qs rs
hunk ./src/FrontEnd/Tc/Unify.hs 5
+    printRule,