[typecheck explicit type signatures directly rather than desugaring them into lets
John Meacham <john@repetae.net>**20060213044213] hunk ./FrontEnd/Desugar.hs 48
+import Options
+import qualified FlagOpts as FO
hunk ./FrontEnd/Desugar.hs 557
-   = do
+    | fopts FO.Boxy = do
+        e' <- desugarExp e
+        newQualType <- remSynsQualType qualType
+        return (HsExpTypeSig sloc e' newQualType)
+    | otherwise = do
hunk ./FrontEnd/Tc/Main.hs 89
-{-
hunk ./FrontEnd/Tc/Main.hs 94
-    e' <- tcExprPoly e s
-    --s'@(TForall _ (ps :=> r)) <- freshSigma s
-    --addPreds ps
-    --e' <- tiExpr e r
-    --s' `subsumes` typ
+    e' <- tcExpr e typ
hunk ./FrontEnd/Tc/Main.hs 96
- -}