[remove defaulted metavars from quantification
John Meacham <john@repetae.net>**20060214072829] hunk ./FrontEnd/Tc/Class.hs 42
-    (nps,rp) <- splitReduce (Set.toList fmvenv) mvs (simplify ch ps)
+    (mvs',nps,rp) <- splitReduce (Set.toList fmvenv) mvs (simplify ch ps)
hunk ./FrontEnd/Tc/Class.hs 44
-    quantify mvs rp r
+    quantify mvs' rp r
hunk ./FrontEnd/Tc/Class.hs 138
-splitReduce :: [MetaVar] -> [MetaVar] -> [Pred] -> Tc ([Pred], [Pred])
+splitReduce :: [MetaVar] -> [MetaVar] -> [Pred] -> Tc ([MetaVar],[Pred], [Pred])
hunk ./FrontEnd/Tc/Class.hs 145
-    return (ds,rs')
+    return (nub gs List.\\ map fst sub, ds,rs')
hunk ./FrontEnd/Tc/Main.hs 496
-    (ds,rs) <- splitReduce (Set.toList env) (freeMetaVarsPreds qs) ps
+    (_,ds,rs) <- splitReduce (Set.toList env) (freeMetaVarsPreds qs) ps
hunk ./FrontEnd/Tc/Monad.hs 356
-                when (dump FD.BoxySteps) $ putStrLn $ "varBind: " ++ pprint u <+> prettyPrintType t
+                when (dump FD.BoxySteps) $ putStrLn $ "varBind: " ++ pprint u <+> text ":=" <+> prettyPrintType t