From 6bb629a6917176ec46fee119b3b21fb1781cba78 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 1 May 2015 21:58:55 -0400
Subject: - Added existential types via #ExT. - Removed the (now useless)
 lux.type/is-Type? function.

---
 source/lux.lux | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'source')

diff --git a/source/lux.lux b/source/lux.lux
index 06a9a1e58..e97d01759 100644
--- a/source/lux.lux
+++ b/source/lux.lux
@@ -69,7 +69,8 @@
                                                                                            (#Cons [["lux;VarT" Int]
                                                                                                    (#Cons [["lux;AllT" (#TupleT (#Cons [(#AppT [Maybe TypeEnv]) (#Cons [Text (#Cons [Text (#Cons [Type #Nil])])])]))]
                                                                                                            (#Cons [["lux;AppT" (#TupleT (#Cons [Type (#Cons [Type #Nil])]))]
-                                                                                                                   #Nil])])])])])])])])]))])
+                                                                                                                   (#Cons [["lux;ExT" Int]
+                                                                                                                           #Nil])])])])])])])])])]))])
                         Void]))))
 (export' Type)
 
-- 
cgit v1.2.3