[Fix type inference for (->)
Samuel Bronson <naesten@gmail.com>**20090107225802] hunk ./FrontEnd/Class.hs 298
-convType tsks = foldl1 TAp (map toType tsks)
+convType tsks = foldl1 tAp (map toType tsks)
hunk ./FrontEnd/DataConsAssump.hs 55
-   resultType = foldl TAp tycon argVars
+   resultType = foldl tAp tycon argVars
hunk ./FrontEnd/DataConsAssump.hs 69
-   resultType = foldl TAp tycon argVars
+   resultType = foldl tAp tycon argVars
hunk ./FrontEnd/KindInfer.hs 463
-aHsTypeToType kt (HsTyApp t1 t2) = TAp (aHsTypeToType kt t1) (aHsTypeToType kt t2)
+aHsTypeToType kt (HsTyApp t1 t2) = tAp (aHsTypeToType kt t1) (aHsTypeToType kt t2)
hunk ./FrontEnd/Representation.hs 104
-tassocToAp TAssoc { typeCon = con, typeClassArgs = cas, typeExtraArgs = eas } = foldl TAp (TCon con) (cas ++ eas)
+tassocToAp TAssoc { typeCon = con, typeClassArgs = cas, typeExtraArgs = eas } = foldl tAp (TCon con) (cas ++ eas)
hunk ./FrontEnd/Tc/Main.hs 263
+        lam (p:ps) e t@(TAp (TAp (TMetaVar mv) s1') s2') rs = do
+            boxyMatch (TMetaVar mv) tArrow
+            (p',env) <- tcPat p s1'
+            localEnv env $ do
+                s2' <- evalType s2'
+                lamPoly ps e s2' (p':rs)  -- TODO poly
hunk ./FrontEnd/Tc/Monad.hs 274
-    inst mm ts (TAp l r)     = TAp (inst mm ts l) (inst mm ts r)
+    inst mm ts (TAp l r)     = tAp (inst mm ts l) (inst mm ts r)
hunk ./FrontEnd/Tc/Monad.hs 370
-        f (TAp a b) vs = liftM2 TAp (f a vs) (f b vs)
+        f (TAp a b) vs = liftM2 tAp (f a vs) (f b vs)
hunk ./FrontEnd/Tc/Type.hs 266
-    tickleM f (TAp l r) = return TAp `ap` f l `ap` f r
+    tickleM f (TAp l r) = return tAp `ap` f l `ap` f r
hunk ./FrontEnd/Tc/Unify.hs 169
-        withMetaVars mv (map getType as) (\ ts -> foldl TAp (TCon ca) ts) $ \ ts ->
+        withMetaVars mv (map getType as) (\ ts -> foldl tAp (TCon ca) ts) $ \ ts ->
hunk ./FrontEnd/Tc/Unify.hs 177
-        withMetaVars mv (map getType xxs) (\ (t:ts) -> foldl TAp t ts) $ \ ts ->
+        withMetaVars mv (map getType xxs) (\ (t:ts) -> foldl tAp t ts) $ \ ts ->