From c8fbe777c32bfa6355349110e14f0244090421da Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 1 Apr 2014 14:21:38 +0100
Subject: Fix parsing of nexp constraints

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

(limited to 'src')

diff --git a/src/parser.mly b/src/parser.mly
index fb4c322e..60f50737 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -965,11 +965,11 @@ nums:
     { $1::$3 }
 
 nexp_constraint:
-  | typ Eq typ
+  | nexp_typ Eq nexp_typ
     { NC_aux(NC_fixed($1,$3), loc () ) }
-  | typ GtEq typ
+  | nexp_typ GtEq nexp_typ
     { NC_aux(NC_bounded_ge($1,$3), loc () ) }
-  | typ LtEq typ
+  | nexp_typ LtEq nexp_typ
     { NC_aux(NC_bounded_le($1,$3), loc () ) }
   | tyvar IN Lcurly nums Rcurly
     { NC_aux(NC_nat_set_bounded($1,$4), loc ()) }
-- 
cgit v1.2.3