diff options
| author | Eduardo Julian | 2021-09-06 02:17:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-06 02:17:41 -0400 |
| commit | ddcfead3ebf30fd8fef26f495662ef61e652ba4f (patch) | |
| tree | 6390b978dfbd0573e8889834bc22057769766846 /lux-jvm/source/luxc/lang/translation/jvm/structure.lux | |
| parent | 06c5f9af1d7aa291ae8e7bdd75af57bbe0684193 (diff) | |
Applied new convention for variants.
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux index 8e4e309de..a8c117f6e 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux @@ -74,9 +74,7 @@ (def: .public (tagI lefts right?) (-> Nat Bit Inst) - (case (if right? - (.++ lefts) - lefts) + (case lefts 0 _.ICONST_0 1 _.ICONST_1 2 _.ICONST_2 @@ -115,6 +113,6 @@ (_.INVOKESTATIC //.$Runtime "variant_make" (type.method [(list) - (list //runtime.$Tag //runtime.$Flag //runtime.$Value) + (list //runtime.$Lefts //runtime.$Right? //runtime.$Value) //.$Variant (list)])))))) |