diff options
author | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-16 08:37:23 -0400 |
commit | bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch) | |
tree | 49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | |
parent | d710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff) |
De-sigil-ification: prefix :
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 |