Ticket #1555 (closed feature request: wontfix)
Reverse do notation: lexer bug?
|Reported by:||dons||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Easy (less than 1 hour)|
|Test Case:||Blocked By:|
The following is accepted by GHC:
main = do getChar -> c print c
Yielding the same program as if we'd written;
main = do c <- getChar print c
The above blogger uses this to ingeniously embed:
gamma |- e -> v
in Haskell, but surely this is either a lexer bug, or an interesting syntactic feature that shouldn't be enabled by default?