From dd80417d02a28091ca9f5081c2183373bdec617a Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 15 Dec 2009 16:02:16 +0000
Subject: [PATCH] Fix a bug in the in-scope set that led to some lookupIdSubst
 errors

---
 compiler/coreSyn/CoreUnfold.lhs |    5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/compiler/coreSyn/CoreUnfold.lhs b/compiler/coreSyn/CoreUnfold.lhs
index 1ff037f..798d94b 100644
--- a/compiler/coreSyn/CoreUnfold.lhs
+++ b/compiler/coreSyn/CoreUnfold.lhs
@@ -1181,9 +1181,6 @@ exprIsConApp_maybe id_unf expr
     analyse _ _ = Nothing
 
     -----------
-    in_scope = mkInScopeSet (exprFreeVars expr)
-
-    -----------
     beta (Lam v body) pairs (arg : args) 
         | isTypeArg arg
         = beta body ((v,arg):pairs) args 
@@ -1198,7 +1195,7 @@ exprIsConApp_maybe id_unf expr
 	    Just ans -> -- pprTrace "Woo-hoo! exprIsConApp_maybe" doc $
                         Just ans
         where
-          subst = mkOpenSubst in_scope pairs
+          subst = mkOpenSubst (mkInScopeSet (exprFreeVars fun)) pairs
 	  -- doc = vcat [ppr fun, ppr expr, ppr pairs, ppr args]
 
 
-- 
1.7.10.4