From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 lux-jvm/source/luxc/lang/host/jvm.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')

diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 6ce7badc5..e24922771 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -101,7 +101,7 @@
                                (` (def: .public (~ (code.local_identifier option))
                                     (~ g!type)
                                     (|> (~ g!none)
-                                        (set@ (~ (code.local_tag option)) #1)))))
+                                        (with@ (~ (code.local_tag option)) #1)))))
                              options)]
     (in (list& (` (type: .public (~ g!type)
                     (~ (code.record (list/map (function (_ tag)
@@ -117,8 +117,8 @@
                (` (def: .public ((~ (code.local_identifier ++)) (~ g!_left) (~ g!_right))
                     (-> (~ g!type) (~ g!type) (~ g!type))
                     (~ (code.record (list/map (function (_ tag)
-                                                [tag (` (or (get@ (~ tag) (~ g!_left))
-                                                            (get@ (~ tag) (~ g!_right))))])
+                                                [tag (` (or (value@ (~ tag) (~ g!_left))
+                                                            (value@ (~ tag) (~ g!_right))))])
                                               g!tags+)))))
 
                g!options+))))
-- 
cgit v1.2.3