From 92865c5cf94bde77b7250450042e915a48e0025d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 13 Sep 2008 19:49:53 -0400
Subject: queryX

---
 src/elab.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 8e77d773..6fcb857a 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -46,10 +46,14 @@ datatype explicitness =
          Explicit
        | Implicit
 
+datatype auto_instantiate =
+         Instantiate
+       | LeaveAlone
+
 datatype con' =
          TFun of con * con
        | TCFun of explicitness * string * kind * con
-       | TDisjoint of con * con * con
+       | TDisjoint of auto_instantiate * con * con * con
        | TRecord of con
 
        | CRel of int
-- 
cgit v1.2.3