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/function.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 7630191e9..458683ec2 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -308,14 +308,14 @@
   (do [! phase.monad]
     [@begin _.make_label
      [function_context bodyI] (case forced_context
-                                {#.Some function_context}
+                                {.#Some function_context}
                                 (do !
                                   [without_context (generation.with_anchor [@begin 1]
                                                      (generate archive bodyS))]
                                   (in [function_context
                                        without_context]))
                                 
-                                #.None
+                                {.#None}
                                 (generation.with_new_context archive
                                   (generation.with_anchor [@begin 1]
                                     (generate archive bodyS))))
@@ -328,16 +328,16 @@
                                  functionD)]]
      _ (generation.execute! directive)
      _ (case forced_context
-         #.None
-         (generation.save! (product.right function_context) #.None directive)
+         {.#None}
+         (generation.save! (product.right function_context) {.#None} directive)
 
-         {#.Some function_context}
+         {.#Some function_context}
          (in []))]
     (in instanceI)))
 
 (def: .public function
   (Generator Abstraction)
-  (..function' #.None))
+  (..function' {.#None}))
 
 (def: .public (call generate archive [functionS argsS])
   (Generator Apply)
-- 
cgit v1.2.3