Mercurial > urweb
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) |