comparison 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
comparison
equal deleted inserted replaced
842:d1b6acaec265 843:9f0ea203a1ca
363 %right KARROW 363 %right KARROW
364 %nonassoc DKARROW 364 %nonassoc DKARROW
365 %right SEMI 365 %right SEMI
366 %nonassoc LARROW 366 %nonassoc LARROW
367 %nonassoc IF THEN ELSE 367 %nonassoc IF THEN ELSE
368 %nonassoc DARROW
368 %left ANDALSO 369 %left ANDALSO
369 %left ORELSE 370 %left ORELSE
370 %nonassoc DARROW
371 %nonassoc COLON 371 %nonassoc COLON
372 %nonassoc DCOLON TCOLON 372 %nonassoc DCOLON TCOLON
373 %left UNION INTERSECT EXCEPT 373 %left UNION INTERSECT EXCEPT
374 %right COMMA 374 %right COMMA
375 %right JOIN INNER CROSS OUTER LEFT RIGHT FULL 375 %right JOIN INNER CROSS OUTER LEFT RIGHT FULL