diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:44:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:44:39 -0500 |
| commit | 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (patch) | |
| tree | 0da23cead212d30f6066b38f5a13b7fdfb3e0a15 /src/lacweb.grm | |
| parent | e7e2ffc58a4f120801ae69217032948e511af213 (diff) | |
Check for leftover kind unifs
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) |