diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 10:11:35 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 10:11:35 -0400 |
| commit | 768dfadfe4717b0c3f7b207a4980c78288b44a93 (patch) | |
| tree | d927ffb9ed326f5f978ef15d1157f99239fcfb0f /src/lacweb.grm | |
| parent | baa7f87fc4cb1d22eed66ff41a61e9525e0477e2 (diff) | |
page declaration, up through monoize
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 4c721cc0..811876f2 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -46,7 +46,7 @@ val s = ErrorMsg.spanOf | ARROW | LARROW | DARROW | FN | PLUSPLUS | DOLLAR | TWIDDLE | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN - | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS + | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | PAGE | XML_BEGIN of string | XML_END | NOTAGS of string @@ -140,6 +140,7 @@ decl : CON SYMBOL EQ cexp (DCon (SYMBOL, NONE, cexp), s (CONleft, [] => 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)) sgn : sgntm (sgntm) | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn |