Mercurial > urweb

comparison src/urweb.grm @ 445:dfc8c991abd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents c5335613f31e
children 86c063fedc4d
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
196 | CON | LTYPE | VAL | REC | AND | FUN | FOLD | UNIT | KUNIT | CLASS 196 | CON | LTYPE | VAL | REC | AND | FUN | FOLD | UNIT | KUNIT | CLASS
197 | DATATYPE | OF 197 | DATATYPE | OF
198 | TYPE | NAME 198 | TYPE | NAME
199 | ARROW | LARROW | DARROW | STAR | SEMI 199 | ARROW | LARROW | DARROW | STAR | SEMI
200 | FN | PLUSPLUS | MINUSMINUS | DOLLAR | TWIDDLE 200 | FN | PLUSPLUS | MINUSMINUS | DOLLAR | TWIDDLE
201 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | WITH | SQL 201 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL
202 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE 202 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
203 | CASE | IF | THEN | ELSE 203 | CASE | IF | THEN | ELSE
204 204
205 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string 205 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string
206 | NOTAGS of string 206 | NOTAGS of string
342 %right COMMA 342 %right COMMA
343 %right OR 343 %right OR
344 %right CAND 344 %right CAND
345 %nonassoc EQ NE LT LE GT GE 345 %nonassoc EQ NE LT LE GT GE
346 %right ARROW 346 %right ARROW
347 %left WITH
348 %right PLUSPLUS MINUSMINUS 347 %right PLUSPLUS MINUSMINUS
349 %left PLUS MINUS 348 %left PLUS MINUS
350 %left STAR DIVIDE MOD 349 %left STAR DIVIDE MOD
351 %left NOT 350 %left NOT
352 %nonassoc TWIDDLE 351 %nonassoc TWIDDLE
697 | eexp LT eexp (native_op ("lt", eexp1, eexp2, s (eexp1left, eexp2right))) 696 | eexp LT eexp (native_op ("lt", eexp1, eexp2, s (eexp1left, eexp2right)))
698 | eexp LE eexp (native_op ("le", eexp1, eexp2, s (eexp1left, eexp2right))) 697 | eexp LE eexp (native_op ("le", eexp1, eexp2, s (eexp1left, eexp2right)))
699 | eexp GT eexp (native_op ("gt", eexp1, eexp2, s (eexp1left, eexp2right))) 698 | eexp GT eexp (native_op ("gt", eexp1, eexp2, s (eexp1left, eexp2right)))
700 | eexp GE eexp (native_op ("ge", eexp1, eexp2, s (eexp1left, eexp2right))) 699 | eexp GE eexp (native_op ("ge", eexp1, eexp2, s (eexp1left, eexp2right)))
701 700
702 | eexp WITH cterm EQ eexp (EWith (eexp1, cterm, eexp2), s (eexp1left, eexp2right)) 701 | eexp PLUSPLUS eexp (EConcat (eexp1, eexp2), s (eexp1left, eexp2right))
703 702
704 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps) 703 bind : SYMBOL LARROW eapps (SYMBOL, NONE, eapps)
705 | UNIT LARROW eapps (let 704 | UNIT LARROW eapps (let
706 val loc = s (UNITleft, eappsright) 705 val loc = s (UNITleft, eappsright)
707 in 706 in