X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f19ba3232998ecde9c4fb818278444474f4fce66..1dd06e3cd2f4e8b23c398ac65ad09eff9d1c5a02:/src/domtool.grm diff --git a/src/domtool.grm b/src/domtool.grm index 0cf5778..3bbc578 100644 --- a/src/domtool.grm +++ b/src/domtool.grm @@ -31,7 +31,7 @@ open Ast | ARROW | DARROW | LARROW | COLON | CARET | BANG | AND | LPAREN | RPAREN | LBRACK | RBRACK | LBRACE | RBRACE - | EQ | COMMA | BSLASH | BSLASHBSLASH | SEMI | LET | IN | END + | EQ | COMMA | BSLASH | BSLASHBSLASH | SEMI | LET | IN | BEGIN | END | ROOT | EXTERN | TYPE | VAL | WITH | WHERE | CONTEXT @@ -132,6 +132,7 @@ apps : term (term) | apps term (EApp (apps, term), (appsleft, termright)) term : LPAREN exp RPAREN (exp) + | BEGIN exp END (exp) | INT (EInt INT, (INTleft, INTright)) | STRING (EString STRING, (STRINGleft, STRINGright)) | LBRACK elist RBRACK (EList elist, (LBRACKleft, RBRACKright))