From ee3f3e9e0a82141b6831b22d4f1412f5a9fb91d4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 24 Feb 2009 13:46:08 -0500 Subject: Top.Fold.concat elaborates --- src/urweb.grm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/urweb.grm') diff --git a/src/urweb.grm b/src/urweb.grm index 86e8a5df..43c9947a 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -187,7 +187,7 @@ fun tagIn bt = | CON | LTYPE | VAL | REC | AND | FUN | MAP | UNIT | KUNIT | CLASS | DATATYPE | OF | TYPE | NAME - | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW + | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE | LET | IN | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL @@ -710,6 +710,7 @@ ident : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLr eapps : eterm (eterm) | eapps eterm (EApp (eapps, eterm), s (eappsleft, etermright)) | eapps LBRACK cexp RBRACK (ECApp (eapps, cexp), s (eappsleft, RBRACKright)) + | eapps BANG (EDisjointApp eapps, s (eappsleft, BANGright)) eexp : eapps (eapps) | FN eargs DARROW eexp (let -- cgit v1.2.3