From c9560da3760d0d277a715a966496451020f3f2f8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 12 Sep 2015 22:36:34 -0400
Subject: - Added exhaustiveness testing for exception-handling code. - Added
 some optimizations for using List & Maybe within the compiler.

---
 source/lux.lux | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'source/lux.lux')

diff --git a/source/lux.lux b/source/lux.lux
index 39cbb7765..ee01c8bdf 100644
--- a/source/lux.lux
+++ b/source/lux.lux
@@ -275,7 +275,8 @@
 ## (deftype Host
 ##   (& #writer    (^ org.objectweb.asm.ClassWriter)
 ##      #loader    (^ java.net.URLClassLoader)
-##      #classes   (^ clojure.lang.Atom)))
+##      #classes   (^ clojure.lang.Atom)
+##      #catching  (List Text)))
 (_lux_def Host
   (#NamedT ["lux" "Host"]
            (#TupleT (#Cons [## "lux;writer"
@@ -284,7 +285,9 @@
                                     (#DataT "java.lang.ClassLoader" #Nil)
                                     (#Cons [## "lux;classes"
                                             (#DataT "clojure.lang.Atom" #Nil)
-                                            #Nil])])]))))
+                                            (#Cons [## "lux;catching"
+                                                    (#AppT List Text)
+                                                    #Nil])])])]))))
 (_lux_declare-tags [#writer #loader #classes] Host)
 
 ## (deftype (DefData' m)
-- 
cgit v1.2.3