From 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 16:44:39 -0500
Subject: Check for leftover kind unifs

---
 src/lacweb.grm | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/lacweb.grm')

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)
 
-- 
cgit v1.2.3