From 791732520b0bb054c466fc19387abdeb122999a6 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 3 Mar 2014 11:01:42 +0000
Subject: Various deinfix bugs

---
 src/parser.mly | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3