Opened 9 years ago

Closed 9 years ago

Last modified 45 years ago

#319 closed bug (Fixed)

Scoping error in lambda expressions in arrow code

Reported by: nobody Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: 6.2.2
Keywords: Cc:
Operating System: Architecture:
Type of failure: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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 
 

Change History (1)

comment:1 Changed 9 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 
user_id=50165

Ralf Paterson has fixed this (in the HEAD)

Thanks for the report
Note: See TracTickets for help on using tickets.