From 07249bc2c07b2af3b9decb84ce968e3005a19c0f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Jun 2009 14:15:22 -0400
Subject: List.all; fix ANDALSO/ORELSE parsing precedence

---
 src/urweb.grm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/urweb.grm b/src/urweb.grm
index 5a2da601..b954ba8c 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -365,9 +365,9 @@ fun patType loc (p : pat) =
 %right SEMI
 %nonassoc LARROW
 %nonassoc IF THEN ELSE
+%nonassoc DARROW
 %left ANDALSO
 %left ORELSE
-%nonassoc DARROW
 %nonassoc COLON
 %nonassoc DCOLON TCOLON
 %left UNION INTERSECT EXCEPT
-- 
cgit v1.2.3