1 files changed, 33 insertions, 33 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 46771939d..017dd834a 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -1,34 +1,34 @@
 (.using
-  [library
-   [lux {"-" Definition Type Label}
-    [ffi {"+" import:}]
-    [abstract
-     monad]
-    [control
-     ["<>" parser
-      ["<[0]>" code]]]
-    [data
-     [binary {"+" Binary}]
-     [text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list ("[1]#[0]" monad)]]]
-    [macro
-     ["[0]" code]
-     [syntax {"+" syntax:}]]
-    [target
-     [jvm
-      ["[0]" type {"+" Type}
-       [category {"+" Class}]]]]
-    [tool
-     [compiler
-      [reference
-       [variable {"+" Register}]]
-      [language
-       [lux
-        ["[0]" generation]]]
-      [meta
-       [archive {"+" Archive}]]]]]])
+ [library
+  [lux {"-" Definition Type Label}
+   [ffi {"+" import:}]
+   [abstract
+    monad]
+   [control
+    ["<>" parser
+     ["<[0]>" code]]]
+   [data
+    [binary {"+" Binary}]
+    [text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]#[0]" monad)]]]
+   [macro
+    ["[0]" code]
+    [syntax {"+" syntax:}]]
+   [target
+    [jvm
+     ["[0]" type {"+" Type}
+      [category {"+" Class}]]]]
+   [tool
+    [compiler
+     [reference
+      [variable {"+" Register}]]
+     [language
+      [lux
+       ["[0]" generation]]]
+     [meta
+      [archive {"+" Archive}]]]]]])
 
 (import: org/objectweb/asm/MethodVisitor)
 
@@ -105,7 +105,7 @@
                                 (` (def: .public (~ (code.local_symbol option))
                                      (~ g!type)
                                      (|> (~ g!none)
-                                         (with@ (~ (code.local_symbol (format "#" option))) #1)))))
+                                         (has (~ (code.local_symbol (format "#" option))) #1)))))
                               options)]
     (in (list& (` (type: .public (~ g!type)
                     (.Record
@@ -127,8 +127,8 @@
                     (-> (~ g!type) (~ g!type) (~ g!type))
                     (~ (|> g!tags+
                            (list#each (function (_ tag)
-                                        (list tag (` (or (value@ (~ tag) (~ g!_left))
-                                                         (value@ (~ tag) (~ g!_right)))))))
+                                        (list tag (` (or (the (~ tag) (~ g!_left))
+                                                         (the (~ tag) (~ g!_right)))))))
                            list#conjoint
                            code.tuple))))