Mercurial > urweb

comparison src/lacweb.grm @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents b1e5398a7f30
children 3739af9e727a
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
47 | CON | LTYPE | VAL | FOLD | UNIT | KUNIT 47 | CON | LTYPE | VAL | FOLD | UNIT | KUNIT
48 | TYPE | NAME 48 | TYPE | NAME
49 | ARROW | LARROW | DARROW 49 | ARROW | LARROW | DARROW
50 | FN | PLUSPLUS | DOLLAR | TWIDDLE 50 | FN | PLUSPLUS | DOLLAR | TWIDDLE
51 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN 51 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN
52 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | PAGE 52 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT
53 53
54 | XML_BEGIN of string | XML_END 54 | XML_BEGIN of string | XML_END
55 | NOTAGS of string 55 | NOTAGS of string
56 | BEGIN_TAG of string | END_TAG of string 56 | BEGIN_TAG of string | END_TAG of string
57 57
145 | m :: ms => (DOpen (m, ms), s (OPENleft, mpathright))) 145 | m :: ms => (DOpen (m, ms), s (OPENleft, mpathright)))
146 | OPEN CONSTRAINTS mpath (case mpath of 146 | OPEN CONSTRAINTS mpath (case mpath of
147 [] => raise Fail "Impossible mpath parse [3]" 147 [] => raise Fail "Impossible mpath parse [3]"
148 | m :: ms => (DOpenConstraints (m, ms), s (OPENleft, mpathright))) 148 | m :: ms => (DOpenConstraints (m, ms), s (OPENleft, mpathright)))
149 | CONSTRAINT cterm TWIDDLE cterm (DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright)) 149 | CONSTRAINT cterm TWIDDLE cterm (DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))
150 | PAGE eexp (DPage eexp, s (PAGEleft, eexpright)) 150 | EXPORT spath (DExport spath, s (EXPORTleft, spathright))
151 151
152 sgn : sgntm (sgntm) 152 sgn : sgntm (sgntm)
153 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn 153 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn
154 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right)) 154 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right))
155 155