diff src/urweb.grm @ 843:9f0ea203a1ca

List.all; fix ANDALSO/ORELSE parsing precedence
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 14:15:22 -0400
parents d1b6acaec265
children 8e540df3294d
line wrap: on
line diff
--- a/src/urweb.grm	Sun Jun 07 12:01:55 2009 -0400
+++ b/src/urweb.grm	Sun Jun 07 14:15:22 2009 -0400
@@ -365,9 +365,9 @@
 %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