From 12aed842461ecc596c07227dcefce36d440e2c85 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Apr 2015 15:37:27 -0400
Subject: - Type-vars can now be deleted and be scoped (through with-var). -
 Fixed a few bugs with types and pattern-matching. - Fixed a bug wherein
 primitive-analysis did now unify the primitive type with the exotype. -
 Modified lambda-analysis so functions subject to universal quantification can
 manage better the universally-quantified variables.

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

(limited to 'src/lux.clj')

diff --git a/src/lux.clj b/src/lux.clj
index 7bee8df16..e035e92c8 100644
--- a/src/lux.clj
+++ b/src/lux.clj
@@ -11,8 +11,12 @@
   ;; TODO: All optimizations
   ;; TODO: Anonymous classes
   ;; TODO: 
-  
+
   ;; Finish total-locals
+
+  ;; TODO: Change &type/check to it returns a tuple with the new expected & actual types
+  ;; TODO: Stop passing-along the exo-types and instead pass-along endo-types where possible
+  ;; TODO: Optimize analyser to avoid redundant checks when dealing with type-checking (making sure check* is being handed a type)
   
   (time (&compiler/compile-all (&/|list "lux")))
   (System/gc)
-- 
cgit v1.2.3