aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm
diff options
context:
space:
mode:
authorEduardo Julian2021-09-10 03:53:29 -0400
committerEduardo Julian2021-09-10 03:53:29 -0400
commitd48270f43c404ba19ca04da2553455ecaaf2caba (patch)
tree850f3a240267fd8b944fbd221ace130c8f7b8606 /lux-jvm
parent343fda007c09deb70917a4afda19891cacf54504 (diff)
Adjusted new compilers to work with the new variant syntax.
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
-rw-r--r--lux-jvm/source/program.lux10
2 files changed, 6 insertions, 6 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 8535c3b35..5eda6443d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -906,7 +906,7 @@
(^ {#synthesis.Primitive value})
body
- (^ {synthesis.constant value})
+ (^ (synthesis.constant value))
body
(^ (synthesis.variant [lefts right? sub]))
diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 7ae009ad4..ea4503d63 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -152,11 +152,11 @@
(|>> .i64 $.i64 unwrap_long long_to_int))
write! (: (-> Text Nat Synthesis Synthesis Synthesis)
(function (_ element_class index value array)
- ({#$.Extension "jvm array write object"
- (list (jvm_type (jvm/type.array (jvm/type.class element_class (list))))
- (literal_nat index)
- value
- array)})))
+ {#$.Extension "jvm array write object"
+ (list (jvm_type (jvm/type.array (jvm/type.class element_class (list))))
+ (literal_nat index)
+ value
+ array)}))
object_array (: (-> Text Nat Synthesis)
(function (_ class_name size)
{#$.Extension "jvm array new object"