Mercurial > urweb

comparison src/urweb.grm @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents e28637743279
children 5c099b1308ae
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
192 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG 192 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG
193 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE | CARET 193 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE | CARET
194 | LET | IN 194 | LET | IN
195 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL 195 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL
196 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE 196 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
197 | COOKIE 197 | COOKIE | STYLE
198 | CASE | IF | THEN | ELSE 198 | CASE | IF | THEN | ELSE
199 199
200 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string 200 | XML_BEGIN of string | XML_END | XML_BEGIN_END of string
201 | NOTAGS of string 201 | NOTAGS of string
202 | BEGIN_TAG of string | END_TAG of string 202 | BEGIN_TAG of string | END_TAG of string
449 val c = (CAbs (SYMBOL2, SOME kind, cexp), loc) 449 val c = (CAbs (SYMBOL2, SOME kind, cexp), loc)
450 in 450 in
451 [(DClass (SYMBOL1, kind, c), s (CLASSleft, cexpright))] 451 [(DClass (SYMBOL1, kind, c), s (CLASSleft, cexpright))]
452 end) 452 end)
453 | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))]) 453 | COOKIE SYMBOL COLON cexp ([(DCookie (SYMBOL, cexp), s (COOKIEleft, cexpright))])
454 | STYLE SYMBOL COLON cexp ([(DStyle (SYMBOL, cexp), s (STYLEleft, cexpright))])
454 455
455 kopt : (NONE) 456 kopt : (NONE)
456 | DCOLON kind (SOME kind) 457 | DCOLON kind (SOME kind)
457 458
458 dargs : ([]) 459 dargs : ([])
702 end) 703 end)
703 | COOKIE SYMBOL COLON cexp (let 704 | COOKIE SYMBOL COLON cexp (let
704 val loc = s (COOKIEleft, cexpright) 705 val loc = s (COOKIEleft, cexpright)
705 val t = (CApp ((CVar (["Basis"], "http_cookie"), loc), 706 val t = (CApp ((CVar (["Basis"], "http_cookie"), loc),
706 entable cexp), loc) 707 entable cexp), loc)
708 in
709 (SgiVal (SYMBOL, t), loc)
710 end)
711 | STYLE SYMBOL COLON cexp (let
712 val loc = s (STYLEleft, cexpright)
713 val t = (CApp ((CVar (["Basis"], "css_class"), loc),
714 cexp), loc)
707 in 715 in
708 (SgiVal (SYMBOL, t), loc) 716 (SgiVal (SYMBOL, t), loc)
709 end) 717 end)
710 718
711 sgis : ([]) 719 sgis : ([])