From: Simon Marlow <simonmar@microsoft.com>
Date: Wed, 16 May 2007 10:06:22 +0000 (+0000)
Subject: 'let' expressions: fix scope of the binders (see test break014)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=72fbfd1c72d4b3b331e201289ef2ce98d848d879

'let' expressions: fix scope of the binders (see test break014)
---

diff --git a/compiler/deSugar/Coverage.lhs b/compiler/deSugar/Coverage.lhs
index a8e774e..f46d9cd 100644
--- a/compiler/deSugar/Coverage.lhs
+++ b/compiler/deSugar/Coverage.lhs
@@ -276,10 +276,10 @@ addTickHsExpr (HsIf	 e1 e2 e3) =
 		(addTickLHsExprOptAlt True e2)
 		(addTickLHsExprOptAlt True e3)
 addTickHsExpr (HsLet binds e) =
+	bindLocals (map unLoc $ collectLocalBinders binds) $
 	liftM2 HsLet
-		(addTickHsLocalBinds binds)		-- to think about: !patterns.
-		(bindLocals (map unLoc $ collectLocalBinders binds) $
-                        addTickLHsExprNeverOrAlways e)
+		(addTickHsLocalBinds binds) -- to think about: !patterns.
+                (addTickLHsExprNeverOrAlways e)
 addTickHsExpr (HsDo cxt stmts last_exp srcloc) = do
         (stmts', last_exp') <- addTickLStmts' forQual stmts 
                                      (addTickLHsExpr last_exp)