Skip to content

Scoping error in lambda expressions in arrow code

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@sneakemail.com 
 
Trac metadata
Trac field Value
Version 6.2.2
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution ResolvedFixed
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information