[ ghc-Bugs-1161624 ] Scoping error in lambda expressions in arrow
code
SourceForge.net
noreply at sourceforge.net
Fri Mar 11 15:17:40 EST 2005
Bugs item #1161624, was opened at 2005-03-11 12:17
Message generated for change (Tracker Item Submitted) made by Item Submitter
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: Open
Resolution: None
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 at sneakemail.com
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1161624&group_id=8032
More information about the Glasgow-haskell-bugs
mailing list