Reverse do notation: lexer bug?
|Reported by:||dons||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
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?
Change History (11)
comment:4 Changed 9 years ago by
|Status:||closed → reopened|
|Type:||bug → feature request|