comparison src/urweb.grm @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 26197c957ad6
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
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 204 | COOKIE | STYLE | INITIALIZER
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 483
483 dtype : SYMBOL dargs EQ barOpt dcons (SYMBOL, dargs, dcons) 484 dtype : SYMBOL dargs EQ barOpt dcons (SYMBOL, dargs, dcons)
484 485
485 dtypes : dtype ([dtype]) 486 dtypes : dtype ([dtype])
486 | dtype AND dtypes (dtype :: dtypes) 487 | dtype AND dtypes (dtype :: dtypes)