Mercurial > urweb

comparison src/urweb.grm @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children d34834af4512
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
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 | LET | IN 201 | LET | IN
202 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL 202 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL
203 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE 203 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
204 | COOKIE
204 | CASE | IF | THEN | ELSE 205 | CASE | IF | THEN | ELSE
205 206
206 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string 207 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string
207 | NOTAGS of string 208 | NOTAGS of string
208 | BEGIN_TAG of string | END_TAG of string 209 | BEGIN_TAG of string | END_TAG of string
424 val k = (KType, loc) 425 val k = (KType, loc)
425 val c = (CAbs (SYMBOL2, SOME k, cexp), loc) 426 val c = (CAbs (SYMBOL2, SOME k, cexp), loc)
426 in 427 in
427 [(DClass (SYMBOL1, c), s (CLASSleft, cexpright))] 428 [(DClass (SYMBOL1, c), s (CLASSleft, cexpright))]
428 end) 429 end)
430 | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))])
429 431
430 kopt : (NONE) 432 kopt : (NONE)
431 | DCOLON kind (SOME kind) 433 | DCOLON kind (SOME kind)
432 434
433 dargs : ([]) 435 dargs : ([])
504 val k = (KType, loc) 506 val k = (KType, loc)
505 val c = (CAbs (SYMBOL2, SOME k, cexp), loc) 507 val c = (CAbs (SYMBOL2, SOME k, cexp), loc)
506 in 508 in
507 (SgiClass (SYMBOL1, c), s (CLASSleft, cexpright)) 509 (SgiClass (SYMBOL1, c), s (CLASSleft, cexpright))
508 end) 510 end)
511 | COOKIE SYMBOL COLON cexp (SgiCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))
509 512
510 sgis : ([]) 513 sgis : ([])
511 | sgi sgis (sgi :: sgis) 514 | sgi sgis (sgi :: sgis)
512 515
513 str : STRUCT decls END (StrConst decls, s (STRUCTleft, ENDright)) 516 str : STRUCT decls END (StrConst decls, s (STRUCTleft, ENDright))