[add warning when defaulting happens, remove duplicate elements from defaulting metavar list
John Meacham <john@repetae.net>**20060214091515] hunk ./FrontEnd/Tc/Class.hs 25
+import Doc.DocLike
hunk ./FrontEnd/Tc/Class.hs 28
+import qualified FlagDump as FD
hunk ./FrontEnd/Tc/Class.hs 33
+import Warning
hunk ./FrontEnd/Tc/Class.hs 43
-    let mvs =  [ v  | v <- freeMetaVars r, not $ v `Set.member` fmvenv ]
+    let mvs =  nub [ v  | v <- freeMetaVars r, not $ v `Set.member` fmvenv ]
hunk ./FrontEnd/Tc/Class.hs 146
+    --liftIO $ putStrLn $ pprint (ds,rs)
hunk ./FrontEnd/Tc/Class.hs 148
+    --liftIO $ putStrLn $ pprint (rs')
+    flip mapM_ sub $ \ (x,y) ->  do
+        wdump FD.BoxySteps $ liftIO $ putStrLn $ "defaulting: " <+> pprint x <+> "=>" <+> prettyPrintType y
+        addWarn "type-defaults" ("defaulting: " <+> pprint x <+> "=>" <+> prettyPrintType y)
hunk ./FrontEnd/Tc/Class.hs 157
-  | any null tss = fail $ "withDefaults.ambiguity: " ++ (pprint ps) -- ++ show vs ++ show ps
+  | any null tss = fail $ "withDefaults.ambiguity: " ++ (pprint ps)  ++ pprint vs -- ++ show ps
hunk ./FrontEnd/Tc/Class.hs 176
-         v <- freeMetaVarsPreds ps \\ vs,
+         v <- nub (freeMetaVarsPreds ps) \\ vs,
hunk ./FrontEnd/Tc/Main.hs 385
+            when (dump FD.BoxySteps) $ liftIO $ putStrLn $ "*** " ++ show n ++ " :: " ++ prettyPrintType s
hunk ./FrontEnd/Tc/Main.hs 387
+            when (dump FD.BoxySteps) $ liftIO $ putStrLn $ "*** " ++ show n ++ " :: " ++ prettyPrintType s