[project @ 2005-07-19 16:44:50 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.lhs

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index ebe95e4..406ca02 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -31,7 +31,7 @@ import TcUnify                ( Expected(..), tcInfer, zapExpectedType, zapExpectedTo,
 import BasicTypes      ( isMarkedStrict )
 import Inst            ( tcOverloadedLit, newMethodFromName, newIPDict,
                          newDicts, newMethodWithGivenTy, tcInstStupidTheta, tcInstCall )
-import TcBinds         ( tcBindsAndThen )
+import TcBinds         ( tcLocalBinds )
 import TcEnv           ( tcLookup, tcLookupId,
                          tcLookupDataCon, tcLookupGlobalId
                        )
@@ -270,13 +270,10 @@ tcExpr in_expr@(OpApp arg1 op fix arg2) res_ty
 \end{code}
 
 \begin{code}
-tcExpr (HsLet binds (L loc expr)) res_ty
-  = tcBindsAndThen
-       glue
-       binds                   -- Bindings to check
-       (setSrcSpan loc $ tcExpr expr res_ty)
-  where
-    glue bind expr = HsLet [bind] (L loc expr)
+tcExpr (HsLet binds expr) res_ty
+  = do { (binds', expr') <- tcLocalBinds binds $
+                            tcMonoExpr expr res_ty   
+       ; return (HsLet binds' expr') }
 
 tcExpr in_expr@(HsCase scrut matches) exp_ty
   =    -- We used to typecheck the case alternatives first.