From 7bdc4cabdb8e5efbc4a194fe0bfe9442c7644798 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 Aug 2008 18:35:08 -0400
Subject: Non-star SELECT

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

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 66f5f3ed..9beff0c9 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -35,6 +35,7 @@ datatype kind' =
        | KName
        | KRecord of kind
        | KUnit
+       | KTuple of kind list
 
        | KError
        | KUnif of ErrorMsg.span * string * kind option ref
@@ -66,6 +67,9 @@ datatype con' =
 
        | CUnit
 
+       | CTuple of con list
+       | CProj of con * int
+
        | CError
        | CUnif of ErrorMsg.span * kind * string * con option ref
 
-- 
cgit v1.2.3