comparison src/urweb.grm @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children dcf98ae3c48d
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
199 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG 199 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG
200 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE | CARET 200 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE | CARET
201 | LET | IN 201 | LET | IN
202 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL | SELECT1 202 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL | SELECT1
203 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE | VIEW 203 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE | VIEW
204 | COOKIE | STYLE | INITIALIZER 204 | COOKIE | STYLE | TASK
205 | CASE | IF | THEN | ELSE | ANDALSO | ORELSE 205 | CASE | IF | THEN | ELSE | ANDALSO | ORELSE
206 206
207 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string 207 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string
208 | NOTAGS of string 208 | NOTAGS of string
209 | BEGIN_TAG of string | END_TAG of string 209 | BEGIN_TAG of string | END_TAG of string
477 in 477 in
478 [(DClass (SYMBOL1, kind, c), s (CLASSleft, cexpright))] 478 [(DClass (SYMBOL1, kind, c), s (CLASSleft, cexpright))]
479 end) 479 end)
480 | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))]) 480 | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))])
481 | STYLE SYMBOL ([(DStyle SYMBOL, s (STYLEleft, SYMBOLright))]) 481 | STYLE SYMBOL ([(DStyle SYMBOL, s (STYLEleft, SYMBOLright))])
482 | INITIALIZER eexp ([(DInitializer eexp, s (INITIALIZERleft, eexpright))]) 482 | TASK eapps EQ eexp ([(DTask (eapps, eexp), s (TASKleft, eexpright))])
483 483
484 dtype : SYMBOL dargs EQ barOpt dcons (SYMBOL, dargs, dcons) 484 dtype : SYMBOL dargs EQ barOpt dcons (SYMBOL, dargs, dcons)
485 485
486 dtypes : dtype ([dtype]) 486 dtypes : dtype ([dtype])
487 | dtype AND dtypes (dtype :: dtypes) 487 | dtype AND dtypes (dtype :: dtypes)