From d48270f43c404ba19ca04da2553455ecaaf2caba Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 03:53:29 -0400
Subject: Adjusted new compilers to work with the new variant syntax.

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux |  2 +-
 lux-jvm/source/program.lux                                  | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'lux-jvm/source')

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"
-- 
cgit v1.2.3