From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 lux-jvm/source/luxc/lang/translation/jvm.lux | 56 ++++++++++++++--------------
 1 file changed, 28 insertions(+), 28 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux
index 99ff673b6..b9ec15962 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm.lux
@@ -141,7 +141,7 @@
                                   (# io.monad each (function (_ library)
                                                      (dictionary.key? library class_name)))
                                   (try.lifted io.monad)
-                                  (: (IO (Try Bit))))
+                                  (is (IO (Try Bit))))
               _ (if existing_class?
                   (in [])
                   (loader.store class_name class_bytecode library))]
@@ -160,33 +160,33 @@
   (io (let [library (loader.new_library [])
             loader (loader.memory library)]
         [loader
-         (: Host
-            (implementation
-             (def: (evaluate context valueI)
-               (# try.monad each product.left
-                  (..evaluate! library loader (format "E" (..class_name context)) valueI)))
-             
-             (def: execute
-               (..execute! library loader))
-             
-             (def: define
-               (..define! library loader))
-
-             (def: (ingest context bytecode)
-               [(..class_name context) bytecode])
-
-             (def: (re_learn context custom [_ bytecode])
-               (io.run!
-                (loader.store (maybe.else (..class_name context) custom) bytecode library)))
-             
-             (def: (re_load context custom [directive_name bytecode])
-               (io.run!
-                (do (try.with io.monad)
-                  [.let [class_name (maybe.else (..class_name context)
-                                                custom)]
-                   _ (loader.store class_name bytecode library)
-                   class (loader.load class_name loader)]
-                  (# io.monad in (..class_value class_name class)))))))])))
+         (is Host
+             (implementation
+              (def: (evaluate context valueI)
+                (# try.monad each product.left
+                   (..evaluate! library loader (format "E" (..class_name context)) valueI)))
+              
+              (def: execute
+                (..execute! library loader))
+              
+              (def: define
+                (..define! library loader))
+
+              (def: (ingest context bytecode)
+                [(..class_name context) bytecode])
+
+              (def: (re_learn context custom [_ bytecode])
+                (io.run!
+                 (loader.store (maybe.else (..class_name context) custom) bytecode library)))
+              
+              (def: (re_load context custom [directive_name bytecode])
+                (io.run!
+                 (do (try.with io.monad)
+                   [.let [class_name (maybe.else (..class_name context)
+                                                 custom)]
+                    _ (loader.store class_name bytecode library)
+                    class (loader.load class_name loader)]
+                   (# io.monad in (..class_value class_name class)))))))])))
 
 (def: .public $Variant
   (type.array ..$Value))
-- 
cgit v1.2.3