Mercurial > urweb
comparison src/urweb.grm @ 459:f542bc3133dc
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)) |