[ ghc-Bugs-1161624 ] Scoping error in lambda expressions in arrow code

Bugs item #1161624, was opened at 2005-03-11 20:17
Message generated for change (Comment added) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1161624&group_id=8032

Category: Compiler
Group: 6.2.2
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Scoping error in lambda expressions in arrow code

Initial Comment:
GHC 6.2.2 with the -farrows switch erroneously reports  
errors when lambda expressions appear in  
commands.  The error looks like the following:  
 
Command-bound variable `y' is not in scope here  
        Reason: it is used in the left argument of (-<)  
 
This will produce the error:  
foo = proc x -> arr (\y -> y-1) -< x  
 
This will not produce the error:  
bar = (\y -> y-1)  
foo = proc x -> arr bar -< x  
 
Email: vnkwjyc02@xxxxxxxxxxxxxx 
 

----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2005-03-15 16:06

Message:
Logged In: YES 
user_id=50165

Ralf Paterson has fixed this (in the HEAD)

Thanks for the report

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1161624&group_id=8032