diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-24 10:09:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-24 10:09:21 -0400 |
| commit | 9e860c86c7d9c763deb9d51490a6766d9c72ed25 (patch) | |
| tree | 7ba7c7cada5e7afa00c3e46879eb9974849286cf /src/lacweb.grm | |
| parent | f19ae3bb20fa0c60e737606949b2bec6e3ae04f9 (diff) | |
Record cut
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 4fd3dc8e..efe26719 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -47,7 +47,7 @@ fun uppercaseFirst "" = "" | CON | LTYPE | VAL | REC | AND | FOLD | UNIT | KUNIT | TYPE | NAME | ARROW | LARROW | DARROW - | FN | PLUSPLUS | DOLLAR | TWIDDLE + | FN | PLUSPLUS | MINUSMINUS | DOLLAR | TWIDDLE | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT @@ -111,7 +111,7 @@ fun uppercaseFirst "" = "" %nonassoc DCOLON TCOLON %right COMMA %right ARROW LARROW -%right PLUSPLUS +%right PLUSPLUS MINUSMINUS %nonassoc TWIDDLE %nonassoc DOLLAR %left DOT @@ -285,6 +285,7 @@ eexp : eapps (eapps) end) | LPAREN eexp RPAREN DCOLON cexp (EAnnot (eexp, cexp), s (LPARENleft, cexpright)) + | eexp MINUSMINUS cexp (ECut (eexp, cexp), s (eexpleft, cexpright)) eterm : LPAREN eexp RPAREN (#1 eexp, s (LPARENleft, RPARENright)) |