diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/parser.mly | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/parser.mly b/src/parser.mly index d29f0d16..8106df7c 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -185,18 +185,22 @@ id: { Id_aux(DeIid($3),loc ()) } | Lparen Deinfix Excl Lparen { idl (DeIid($3)) } - | Lparen Deinfix Gt Lparen + | Lparen Deinfix Gt Rparen { idl (DeIid($3)) } - | Lparen Deinfix Lt Lparen + | Lparen Deinfix Lt Rparen { idl (DeIid($3)) } - | Lparen Deinfix Minus Lparen + | Lparen Deinfix Minus Rparen { idl (DeIid("-")) } + | Lparen Deinfix Mod Rparen + { idl (DeIid("mod")) } | Lparen Deinfix Plus Rparen { idl (DeIid($3)) } | Lparen Deinfix Star Rparen { idl (DeIid($3)) } | Lparen Deinfix AmpAmp Rparen { idl (DeIid($3)) } + | Lparen Deinfix Bar Rparen + { idl (DeIid("||")) } | Lparen Deinfix BarBar Rparen { idl (DeIid("||")) } | Lparen Deinfix CarrotCarrot Rparen |