#4359: Implement lambda-case/lambda-if
---------------------------------+------------------------------------------
Reporter: batterseapower | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonmar):
Correct, it will parse as `(\x -> x) $ z`, and indeed this might silently
change the meaning of existing code. It's unlikely in this case, because
`x` and `(\x -> x)` will have different types, but you could probably
construct an example where the types are the same.
`case` and `do` already behave like this, whereas `let` and `if` behave
the other way (munching up the `$ z`). The multi-clause lambda extension
would move `\` from the latter group to the former.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4359#comment:28>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs