- _jvm_program now relies on the (IO (,)) type.

- The command-line params argument in jvm_program is now transformed from a String array into (List Text).

1 files changed, 7 insertions, 6 deletions

diff --git a/source/lux.lux b/source/lux.lux
index ac28bf372..bce5c421a 100644
--- a/source/lux.lux
+++ b/source/lux.lux
@@ -1970,12 +1970,14 @@
     ))
 
 (def #export (print x)
-  (-> Text (,))
-  (_jvm_invokevirtual java.io.PrintStream print [java.lang.Object]
-                      (_jvm_getstatic java.lang.System out) [x]))
+  (-> Text (IO (,)))
+  (lambda [_]
+    (exec (_jvm_invokevirtual java.io.PrintStream print [java.lang.Object]
+                              (_jvm_getstatic java.lang.System out) [x])
+      [])))
 
 (def #export (println x)
-  (-> Text (,))
+  (-> Text (IO (,)))
   (print (text:++ x "\n")))
 
 (def #export (some f xs)
@@ -2065,8 +2067,7 @@
                                                  (let [[sname stype] slot
                                                        [module name] (split-slot sname)]
                                                    [($tag [module name]) ($symbol ["" name])])))
-                                            slots))
-                      _ (println (text:++ "Using pattern: " (syntax:show pattern)))]
+                                            slots))]
                   (#Right [state (: (List Syntax)
                                     (list (` (_lux_case (~ struct) (~ pattern) (~ body)))))]))