diff options
author | Eduardo Julian | 2015-09-12 22:36:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-09-12 22:36:34 -0400 |
commit | c9560da3760d0d277a715a966496451020f3f2f8 (patch) | |
tree | a0cb370dee25c4e1b919cc8e4ea936823389e59e /source/lux.lux | |
parent | 45a102bae3707d1a5220d7e124221ed46882f22d (diff) |
- Added exhaustiveness testing for exception-handling code.
- Added some optimizations for using List & Maybe within the compiler.
Diffstat (limited to '')
-rw-r--r-- | source/lux.lux | 7 |
1 files changed, 5 insertions, 2 deletions
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) |