From 828d5569416aebd6cfff8d42a2efd016c40a986c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 13 Dec 2013 19:59:09 +0000
Subject: Fix effect annotation bug, take 2

---
 src/parser.mly | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/parser.mly b/src/parser.mly
index 010ac76d..10d6cf65 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -866,6 +866,8 @@ fun_def:
     { funloc (FD_function(mk_recn (), mk_tannot $2 $3 2 3, mk_eannot $5 5, $6)) }
   | Function_ typquant typ funcl_ands
     { funloc (FD_function(mk_recn (), mk_tannot $2 $3 2 2, mk_eannotn (), $4)) }
+  | Function_ typ Effect effect_typ funcl_ands
+    { funloc (FD_function(mk_recn (), mk_tannot (mk_typqn ()) $2 2 2, mk_eannot $4 4, $5)) }
   | Function_ Effect effect_typ funcl_ands
     { funloc (FD_function(mk_recn (),mk_tannotn (), mk_eannot $3 3, $4)) }
   | Function_ typ funcl_ands
-- 
cgit v1.2.3