X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fspecialise%2FSpecConstr.lhs;h=e5583e19dc1181c9e03d46d4bc6521ec473f66f9;hp=8bba247a531dc3a14506c54103b6db4b9d16dd99;hb=2c5337d3f05b1cfb70e2fa63818c453cfc09eb42;hpb=fca93fc58a8ff4f662d06e089d49f752ed4224ca

diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs
index 8bba247..e5583e1 100644
--- a/compiler/specialise/SpecConstr.lhs
+++ b/compiler/specialise/SpecConstr.lhs
@@ -875,6 +875,13 @@ argToPat in_scope con_env (Var v) arg_occ
     then return (True, Var v)
     else wildCardPat (idType v)
 
+argToPat in_scope con_env (Let _ arg) arg_occ
+  = argToPat in_scope con_env arg arg_occ
+	-- Look through let expressions
+	-- e.g.		f (let v = rhs in \y -> ...v...)
+	-- Here we can specialise for f (\y -> ...)
+	-- because the rule-matcher will look through the let.
+
 argToPat in_scope con_env arg arg_occ
   | is_value_lam arg
   = return (True, arg)