From bfeac162a328dba937a28e747e4fc4006fac500c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 10 Oct 2010 13:07:38 -0400
Subject: Flex kinds for type-level tuples; ::_ notation

---
 src/elab.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 6d405af6..dcb15502 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -39,6 +39,7 @@ datatype kind' =
 
        | KError
        | KUnif of ErrorMsg.span * string * kind option ref
+       | KTupleUnif of ErrorMsg.span * (int * kind) list * kind option ref
 
        | KRel of int
        | KFun of string * kind
-- 
cgit v1.2.3