- The type syntax is finally complete ^_^

- Finally, the "case" macro has been implemented ^_^
- The macro-expand function is also alive!
- Corrected the field-access special forms so they take their field as a symbol instead of text.
- Macros are no longer stored inside the CompilerState as (Maybe Macro), but as Macro.
- Void is implemented as 
- Fixed an error when parsing escaped characters in text.
- Fixed an error in the reader in which parsing regex2 gave back a 2-vector instead of a 2-tuple.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/lux/host.clj b/src/lux/host.clj
index 26a270199..9d6f72fab 100644
--- a/src/lux/host.clj
+++ b/src/lux/host.clj
@@ -79,7 +79,13 @@
     (->type-signature ?name)
 
     [["lux;LambdaT" [_ _]]]
-    (->type-signature function-class)))
+    (->type-signature function-class)
+
+    [["lux;VariantT" ["lux;Nil" _]]]
+    "V"
+    
+    [_]
+    (assert false (prn-str '->java-sig (aget type 0)))))
 
 (defn extract-jvm-param [token]
   (matchv ::M/objects [token]