Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/lacweb.grm	Thu Jul 10 16:05:14 2008 -0400
+++ b/src/lacweb.grm	Sun Jul 13 10:17:06 2008 -0400
@@ -49,7 +49,7 @@
  | ARROW | LARROW | DARROW
  | FN | PLUSPLUS | DOLLAR | TWIDDLE
  | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN
- | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | PAGE
+ | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT
 
  | XML_BEGIN of string | XML_END
  | NOTAGS of string 
@@ -147,7 +147,7 @@
                                              [] => raise Fail "Impossible mpath parse [3]"
                                            | m :: ms => (DOpenConstraints (m, ms), s (OPENleft, mpathright)))
        | CONSTRAINT cterm TWIDDLE cterm (DConstraint (cterm1, cterm2), s (CONSTRAINTleft, ctermright))
-       | PAGE eexp                      (DPage eexp, s (PAGEleft, eexpright))
+       | EXPORT spath                   (DExport spath, s (EXPORTleft, spathright))
 
 sgn    : sgntm                          (sgntm)
        | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn