diff options
Diffstat (limited to 'src/lacweb.grm')
-rw-r--r-- | src/lacweb.grm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index a6054494..7384dbf8 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -69,6 +69,7 @@ val s = ErrorMsg.spanOf %nonassoc DARROW %nonassoc COLON +%nonassoc DCOLON TCOLON %right COMMA %right ARROW LARROW %right PLUSPLUS @@ -102,6 +103,8 @@ cexp : capps (capps) | FN SYMBOL kcolon kind DARROW cexp (CAbs (kcolon, SYMBOL, kind, cexp), s (FNleft, cexpright)) + | LPAREN cexp RPAREN DCOLON kind (CAnnot (cexp, kind), s (LPARENleft, RPARENright)) + kcolon : DCOLON (Explicit) | TCOLON (Implicit) |