diff options
| author | Gabriel Kerneis | 2014-03-03 11:01:42 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-03-04 17:07:41 +0000 |
| commit | 791732520b0bb054c466fc19387abdeb122999a6 (patch) | |
| tree | c9d1bcc3dc8f2d16f15c29ff71a443ec4d3dc548 | |
| parent | 1099c0e22278d6b9e5d652ff8057dd8512b140ac (diff) | |
Various deinfix bugs
| -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 |