diff options
Diffstat (limited to 'lux-jvm')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 | ||||
| -rw-r--r-- | lux-jvm/source/program.lux | 10 |
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" |