diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')
-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)])))))) |