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/case.lux | |
| parent | 06c5f9af1d7aa291ae8e7bdd75af57bbe0684193 (diff) | |
Applied new convention for variants.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/case.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index 33aa7f793..b8ef09945 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -98,7 +98,7 @@ (type.method [(list) (list //.$Value) type.boolean (list)])) (def: sideJT - (type.method [(list) (list //.$Variant runtime.$Tag runtime.$Flag) runtime.$Value (list)])) + (type.method [(list) (list //.$Variant runtime.$Lefts runtime.$Right?) runtime.$Value (list)])) (def: (path' stack_depth @else @end phase archive path) (-> Nat Label Label Phase Archive Path (Operation Inst)) |