X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fspecialise%2FSpecConstr.lhs;h=a2ef2a19b37b22670ba8ab38012c6063b05369a8;hp=513a2a9b84319c86ca535aabf0be1b6ca31ba8d1;hb=707ea5881703d680155aab268bdbf7edc113e3b1;hpb=6648babb973c46373fff1b74161b33ab68a13130

diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs
index 513a2a9..a2ef2a19 100644
--- a/compiler/specialise/SpecConstr.lhs
+++ b/compiler/specialise/SpecConstr.lhs
@@ -958,13 +958,17 @@ scExpr' env (Let (NonRec bndr rhs) body)
   | isTyCoVar bndr	-- Type-lets may be created by doBeta
   = scExpr' (extendScSubst env bndr rhs) body
 
-  | otherwise		   -- Note [Local let bindings]
+  | otherwise	
   = do	{ let (body_env, bndr') = extendBndr env bndr
-	      body_env2 = extendHowBound body_env [bndr'] RecFun
-	; (body_usg, body') <- scExpr body_env2 body
-
 	; (rhs_usg, rhs_info) <- scRecRhs env (bndr',rhs)
 
+	; let body_env2 = extendHowBound body_env [bndr'] RecFun
+	      			   -- Note [Local let bindings]
+	      RI _ rhs' _ _ _ = rhs_info
+              body_env3 = extendValEnv body_env2 bndr' (isValue (sc_vals env) rhs')
+
+	; (body_usg, body') <- scExpr body_env3 body
+
           -- NB: We don't use the ForceSpecConstr mechanism (see
           -- Note [Forcing specialisation]) for non-recursive bindings
           -- at the moment. I'm not sure if this is the right thing to do.