aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm/function.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 00:07:08 -0400
committerEduardo Julian2021-09-12 00:07:08 -0400
commitdda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch)
tree0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /lux-jvm/source/luxc/lang/translation/jvm/function.lux
parentd48270f43c404ba19ca04da2553455ecaaf2caba (diff)
Made the "#" character great again!
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux12
1 files changed, 6 insertions, 6 deletions
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)