Skip to content

arrow notation example can't be parsed

This expression can't be parsed:

bug f g = proc x -> f >>> g -< x

Brackets are needed around f>>>g to get it through the 
parser. Can't see any justification for this -- the 
documentation suggests any expression is allowed 
before -<, and indeed, >>> cannot be confused with a 
command operator because f is not a command.

Are you parsing -< as an operator with a precedence 
greater than >>>? Hard to see otherwise why this 
doesn't parse.

John
Trac metadata
Trac field Value
Version 6.2
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution ResolvedFixed
Component Compiler (Parser)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information