[basic direct typing of explicit signatures added
John Meacham <john@repetae.net>**20060210022142] hunk ./FrontEnd/TIMain.hs 35
-import FrontEnd.KindInfer(KindEnv)
+import FrontEnd.KindInfer(KindEnv,hsQualTypeToScheme)
hunk ./FrontEnd/TIMain.hs 323
-tiExpr env (HsExpTypeSig _sloc e qt)
-   = error $ "tiExpr: unexpected sugared explicitly typed expression " ++ show e
+tiExpr env expr@(HsExpTypeSig sloc e qt) = withContext (locMsg sloc "in the explicitly typed" $ render $ ppHsExp expr) $ do
+    kt <- getKindEnv
+    qts <- hsQualTypeToScheme kt qt
+    (ps,env,t) <- tiExpr env e
+    (ps' :=> t') <- freshInst qts
+    unify t t'
+    return (ps' ++ ps,env,t)
hunk ./FrontEnd/TIMain.hs 331
-tiExpr _env e
-   = error $ "tiExpr: not implemented for: " ++ show e
+
+tiExpr _env e = error $ "tiExpr: not implemented for: " ++ show e
hunk ./FrontEnd/TIMonad.hs 30
+                getKindEnv,