From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 8deac8430..995d82e47 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -364,8 +364,8 @@
         directive [runtime_class bytecode]]
     (do phase.monad
       [_ (generation.execute! directive)
-       _ (generation.save! ..runtime_id #.None directive)]
-      (in [..runtime_id #.None bytecode]))))
+       _ (generation.save! ..runtime_id {.#None} directive)]
+      (in [..runtime_id {.#None} bytecode]))))
 
 (def: function_id
   1)
@@ -401,8 +401,8 @@
         directive [function_class bytecode]]
     (do phase.monad
       [_ (generation.execute! directive)
-       _ (generation.save! ..function_id #.None directive)]
-      (in [..function_id #.None bytecode]))))
+       _ (generation.save! ..function_id {.#None} directive)]
+      (in [..function_id {.#None} bytecode]))))
 
 (def: .public translate
   (Operation [Registry Output])
-- 
cgit v1.2.3