Mercurial > urweb

comparison src/lacweb.grm @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 94afff1ff7f6
children b1e5398a7f30
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
44 | CON | LTYPE | VAL | FOLD | UNIT | KUNIT 44 | CON | LTYPE | VAL | FOLD | UNIT | KUNIT
45 | TYPE | NAME 45 | TYPE | NAME
46 | ARROW | LARROW | DARROW 46 | ARROW | LARROW | DARROW
47 | FN | PLUSPLUS | DOLLAR | TWIDDLE 47 | FN | PLUSPLUS | DOLLAR | TWIDDLE
48 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN 48 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN
49 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS 49 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | PAGE
50 50
51 | XML_BEGIN of string | XML_END 51 | XML_BEGIN of string | XML_END
52 | NOTAGS of string 52 | NOTAGS of string
53 | BEGIN_TAG of string | END_TAG of string 53 | BEGIN_TAG of string | END_TAG of string
54 54
138 | m :: ms => (DOpen (m, ms), s (OPENleft, mpathright))) 138 | m :: ms => (DOpen (m, ms), s (OPENleft, mpathright)))
139 | OPEN CONSTRAINTS mpath (case mpath of 139 | OPEN CONSTRAINTS mpath (case mpath of
140 [] => raise Fail "Impossible mpath parse [3]" 140 [] => raise Fail "Impossible mpath parse [3]"
141 | m :: ms => (DOpenConstraints (m, ms), s (OPENleft, mpathright))) 141 | m :: ms => (DOpenConstraints (m, ms), s (OPENleft, mpathright)))
142 | CONSTRAINT cterm TWIDDLE cterm (DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright)) 142 | CONSTRAINT cterm TWIDDLE cterm (DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))
143 | PAGE eexp (DPage eexp, s (PAGEleft, eexpright))
143 144
144 sgn : sgntm (sgntm) 145 sgn : sgntm (sgntm)
145 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn 146 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn
146 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right)) 147 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right))
147 148