diff options
| author | Eduardo Julian | 2021-09-10 03:53:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-10 03:53:29 -0400 |
| commit | d48270f43c404ba19ca04da2553455ecaaf2caba (patch) | |
| tree | 850f3a240267fd8b944fbd221ace130c8f7b8606 /lux-jvm/source/luxc | |
| parent | 343fda007c09deb70917a4afda19891cacf54504 (diff) | |
Adjusted new compilers to work with the new variant syntax.
Diffstat (limited to 'lux-jvm/source/luxc')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 |
1 files changed, 1 insertions, 1 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])) |