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 |
|