From e085c8c685b1e22827443a43d6f20b5ab6e72d6a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 1 Sep 2015 16:48:54 -0400
Subject: - Fixed the implementation of the Rec macro, which forgot to do
 application on Void to achieve "recursion". - Introduced ExQ types into the
 type-system (still pending work on inference).

---
 src/lux/base.clj | 1 +
 src/lux/type.clj | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/lux/base.clj b/src/lux/base.clj
index b99437a2c..4db1d26bc 100644
--- a/src/lux/base.clj
+++ b/src/lux/base.clj
@@ -51,6 +51,7 @@
   "VarT"
   "ExT"
   "UnivQ"
+  "ExQ"
   "AppT"
   "NamedT")
 
diff --git a/src/lux/type.clj b/src/lux/type.clj
index 36590ddd2..82eab3dd4 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -105,6 +105,8 @@
                                     Int
                                     ;; UnivQ
                                     (Tuple$ (&/|list TypeList Type))
+                                    ;; ExQ
+                                    (Tuple$ (&/|list TypeList Type))
                                     ;; AppT
                                     TypePair
                                     ;; NamedT
-- 
cgit v1.2.3