[fix unifiation of taus, read current type environment.
John Meacham <john@repetae.net>**20051208104311] hunk ./FrontEnd/Tc/Main.hs 83
+--tiExpr (HsExpTypeSig sloc e qt) typ =  withContext (locMsg sloc "in the annotated expression" $ render $ ppHsExp expr) $ do
+
+
hunk ./FrontEnd/Tc/Monad.hs 143
-    env <- asks ( tcInfoEnv . tcInfo)
+    env <- asks tcCurrentEnv
hunk ./FrontEnd/Tc/Monad.hs 207
-    env <- asks (tcInfoEnv . tcInfo)
+    env <- asks tcCurrentEnv
hunk ./FrontEnd/Tc/Type.hs 75
+    _ | isTau b -> unify a b -- TODO verify? fail $ "taus don't match in MONO" ++ show (a,b)
hunk ./FrontEnd/Tc/Type.hs 77
-      | isTau b -> unify a b -- TODO verify? fail $ "taus don't match in MONO" ++ show (a,b)
hunk ./FrontEnd/Tc/Type.hs 104
--- SEQ1 
---boxyMatch 
+-- SEQ1
+--boxyMatch
hunk ./FrontEnd/Tc/Type.hs 110
+    _ | isTau b -> unify a b -- TODO, verify? fail $ "taus don't match in MEQ[12]" ++ show (a,b)
hunk ./FrontEnd/Tc/Type.hs 112
-      | isTau b -> unify a b -- TODO, verify? fail $ "taus don't match in MEQ[12]" ++ show (a,b)
hunk ./Interactive.hs 173
-    --printStatement stmt'''
+    printStatement stmt'''