[clean up instantiation code. reenable skolomozation in ExprPoly, print rule names as they occur.
John Meacham <john@repetae.net>**20051213045326] hunk ./FrontEnd/Tc/Main.hs 61
-    -- (_,t) <- skolomize t
+    (_,t) <- skolomize t
hunk ./FrontEnd/Tc/Monad.hs 11
-    inst,
hunk ./FrontEnd/Tc/Monad.hs 193
-    inst ts t@TGen {}     = error $ "inst TGen " ++ show (ts,t)
hunk ./FrontEnd/Tc/Monad.hs 195
-        | Nothing == tyvarRef tv  = t'  where Just t' = Map.lookup (tyvarAtom tv) ts
-    inst  _ t@TVar {}     = t
-    inst _ TBox {}        = error "instantiating something with a box"
+        | Nothing == tyvarRef tv  = case Map.lookup (tyvarAtom tv) ts of
+            Just t'  -> t'
+            Nothing -> (TVar tv)
hunk ./FrontEnd/Tc/Monad.hs 199
+    inst ts (TMetaVar mv) = TMetaVar mv
+    inst _ t = error $ "inst: " ++ show t
hunk ./FrontEnd/Tc/Monad.hs 202
-    --inst ts t@(TGen n tv) | Just t <- Map.lookup (tyvarAtom tv) ts = t
-    --                      | otherwise = error $ "inst TGen " ++ show (ts,t)
hunk ./FrontEnd/Tc/Unify.hs 97
+printRule :: String -> Tc ()
+printRule s = liftIO $ putStrLn s
+
hunk ./FrontEnd/Tc/Unify.hs 108
+        s1 <- findType s1
+        s2 <- findType s2
hunk ./FrontEnd/Tc/Unify.hs 117
+        printRule "BBEQ"
hunk ./FrontEnd/Tc/Unify.hs 127
+        printRule "AEQ1"
hunk ./FrontEnd/Tc/Unify.hs 136
+        printRule "AEQ2"
hunk ./FrontEnd/Tc/Unify.hs 155
-        True | length as == length bs -> sequence_ [boxyMatch x y | x <- as | y <- bs] >> return False
+        True | length as == length bs -> do
+            printRule "CEQ2"
+            sequence_ [boxyMatch x y | x <- as | y <- bs] >> return False
hunk ./FrontEnd/Tc/Unify.hs 164
+        printRule "SEQ1"
hunk ./FrontEnd/Tc/Unify.hs 182
+        printRule "XXX App"