Mercurial > urweb

comparison src/urweb.grm @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents eec65c11d3e2
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
171 | DATATYPE | OF 171 | DATATYPE | OF
172 | TYPE | NAME 172 | TYPE | NAME
173 | ARROW | LARROW | DARROW | STAR | SEMI 173 | ARROW | LARROW | DARROW | STAR | SEMI
174 | FN | PLUSPLUS | MINUSMINUS | DOLLAR | TWIDDLE 174 | FN | PLUSPLUS | MINUSMINUS | DOLLAR | TWIDDLE
175 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN 175 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN
176 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE 176 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
177 | CASE | IF | THEN | ELSE 177 | CASE | IF | THEN | ELSE
178 178
179 | XML_BEGIN of string | XML_END 179 | XML_BEGIN of string | XML_END
180 | NOTAGS of string 180 | NOTAGS of string
181 | BEGIN_TAG of string | END_TAG of string 181 | BEGIN_TAG of string | END_TAG of string
383 [] => raise Fail "Impossible mpath parse [3]" 383 [] => raise Fail "Impossible mpath parse [3]"
384 | m :: ms => [(DOpenConstraints (m, ms), s (OPENleft, mpathright))]) 384 | m :: ms => [(DOpenConstraints (m, ms), s (OPENleft, mpathright))])
385 | CONSTRAINT cterm TWIDDLE cterm ([(DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))]) 385 | CONSTRAINT cterm TWIDDLE cterm ([(DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))])
386 | EXPORT spath ([(DExport spath, s (EXPORTleft, spathright))]) 386 | EXPORT spath ([(DExport spath, s (EXPORTleft, spathright))])
387 | TABLE SYMBOL COLON cexp ([(DTable (SYMBOL, entable cexp), s (TABLEleft, cexpright))]) 387 | TABLE SYMBOL COLON cexp ([(DTable (SYMBOL, entable cexp), s (TABLEleft, cexpright))])
388 | SEQUENCE SYMBOL ([(DSequence SYMBOL, s (SEQUENCEleft, SYMBOLright))])
388 | CLASS SYMBOL EQ cexp ([(DClass (SYMBOL, cexp), s (CLASSleft, cexpright))]) 389 | CLASS SYMBOL EQ cexp ([(DClass (SYMBOL, cexp), s (CLASSleft, cexpright))])
389 | CLASS SYMBOL SYMBOL EQ cexp (let 390 | CLASS SYMBOL SYMBOL EQ cexp (let
390 val loc = s (CLASSleft, cexpright) 391 val loc = s (CLASSleft, cexpright)
391 val k = (KType, loc) 392 val k = (KType, loc)
392 val c = (CAbs (SYMBOL2, SOME k, cexp), loc) 393 val c = (CAbs (SYMBOL2, SOME k, cexp), loc)
461 (SgnFun (CSYMBOL2, sgn1, sgn2), s (FUNCTORleft, sgn2right))), 462 (SgnFun (CSYMBOL2, sgn1, sgn2), s (FUNCTORleft, sgn2right))),
462 s (FUNCTORleft, sgn2right)) 463 s (FUNCTORleft, sgn2right))
463 | INCLUDE sgn (SgiInclude sgn, s (INCLUDEleft, sgnright)) 464 | INCLUDE sgn (SgiInclude sgn, s (INCLUDEleft, sgnright))
464 | CONSTRAINT cterm TWIDDLE cterm (SgiConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright)) 465 | CONSTRAINT cterm TWIDDLE cterm (SgiConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))
465 | TABLE SYMBOL COLON cexp (SgiTable (SYMBOL, entable cexp), s (TABLEleft, cexpright)) 466 | TABLE SYMBOL COLON cexp (SgiTable (SYMBOL, entable cexp), s (TABLEleft, cexpright))
467 | SEQUENCE SYMBOL (SgiSequence SYMBOL, s (SEQUENCEleft, SYMBOLright))
466 | CLASS SYMBOL (SgiClassAbs SYMBOL, s (CLASSleft, SYMBOLright)) 468 | CLASS SYMBOL (SgiClassAbs SYMBOL, s (CLASSleft, SYMBOLright))
467 | CLASS SYMBOL EQ cexp (SgiClass (SYMBOL, cexp), s (CLASSleft, cexpright)) 469 | CLASS SYMBOL EQ cexp (SgiClass (SYMBOL, cexp), s (CLASSleft, cexpright))
468 | CLASS SYMBOL SYMBOL EQ cexp (let 470 | CLASS SYMBOL SYMBOL EQ cexp (let
469 val loc = s (CLASSleft, cexpright) 471 val loc = s (CLASSleft, cexpright)
470 val k = (KType, loc) 472 val k = (KType, loc)