comparison src/urweb.grm @ 837:ccf22c2c77b2

Tweak -- precedence; use right env for final exhaustiveness errors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 15:43:18 -0400
parents 7f871c03e3a1
children 5154a047c6bc
comparison
equal deleted inserted replaced
836:4083d0dff94c 837:ccf22c2c77b2
373 %right JOIN INNER CROSS OUTER LEFT RIGHT FULL 373 %right JOIN INNER CROSS OUTER LEFT RIGHT FULL
374 %right OR 374 %right OR
375 %right CAND 375 %right CAND
376 %nonassoc EQ NE LT LE GT GE IS 376 %nonassoc EQ NE LT LE GT GE IS
377 %right ARROW 377 %right ARROW
378 %right CARET PLUSPLUS MINUSMINUS MINUSMINUSMINUS 378 %right CARET PLUSPLUS
379 %left MINUSMINUS MINUSMINUSMINUS
379 %left PLUS MINUS 380 %left PLUS MINUS
380 %left STAR DIVIDE MOD 381 %left STAR DIVIDE MOD
381 %left NOT 382 %left NOT
382 %nonassoc TWIDDLE 383 %nonassoc TWIDDLE
383 %nonassoc DOLLAR 384 %nonassoc DOLLAR