diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index ee3e16ed8..76c170725 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -167,11 +167,11 @@ last_rightI _.AALOAD (_.CHECKCAST //.$Tuple)) - recurI (: (-> Label Inst) - (function (_ @loop) - (|>> sub_leftsI (_.ISTORE 1) - sub_tupleI (_.ASTORE 0) - (_.GOTO @loop))))] + recurI (is (-> Label Inst) + (function (_ @loop) + (|>> sub_leftsI (_.ISTORE 1) + sub_tupleI (_.ASTORE 0) + (_.GOTO @loop))))] (|>> ($d.method {$.#Public} $.staticM "pm_fail" throw_methodT (|>> (illegal_state_exception "Invalid expression for pattern-matching.") _.ATHROW)) @@ -200,12 +200,12 @@ $lefts (_.ILOAD 1) $right? (_.ALOAD 2) - variant_partI (: (-> Nat Inst) - (function (_ idx) - (|>> (_.int (.int idx)) _.AALOAD))) - ::lefts (: Inst - (|>> (variant_partI 0) - (_.unwrap type.int))) + variant_partI (is (-> Nat Inst) + (function (_ idx) + (|>> (_.int (.int idx)) _.AALOAD))) + ::lefts (is Inst + (|>> (variant_partI 0) + (_.unwrap type.int))) ::right? (variant_partI 1) ::value (variant_partI 2) @@ -226,11 +226,11 @@ update_$lefts (|>> _.ISUB (_.int +1) _.ISUB) - iterate! (: (-> Label Inst) - (function (_ @loop) - (|>> update_$variant - update_$lefts - (_.GOTO @loop))))]) + iterate! (is (-> Label Inst) + (function (_ @loop) + (|>> update_$variant + update_$lefts + (_.GOTO @loop))))]) (|>> $lefts ... lefts (_.label @loop) $variant ::lefts ... lefts, variant::lefts |