diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/bytecode.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux/target/jvm/bytecode.lux b/stdlib/source/lux/target/jvm/bytecode.lux index 80121e692..af843c6cf 100644 --- a/stdlib/source/lux/target/jvm/bytecode.lux +++ b/stdlib/source/lux/target/jvm/bytecode.lux @@ -92,7 +92,7 @@ (do try.monad [[left-exceptions left-instruction] (left resolver) [right-exceptions right-instruction] (right resolver)] - (wrap [(:: row.monoid compose left-exceptions right-exceptions) + (wrap [(\ row.monoid compose left-exceptions right-exceptions) (_\compose left-instruction right-instruction)])))))) (type: #export (Bytecode a) @@ -579,7 +579,7 @@ (-> Nat (Bytecode Register)) (case (//unsigned.u1 id) (#try.Success register) - (:: ..monad wrap register) + (\ ..monad wrap register) (#try.Failure error) (..throw ..invalid-register [id]))) @@ -690,16 +690,16 @@ (def: (jump @from @to) (-> Address Address (Try Any-Jump)) (do {! try.monad} - [jump (:: ! map //signed.value - (/address.jump @from @to))] + [jump (\ ! map //signed.value + (/address.jump @from @to))] (let [big? (n.> (//unsigned.value //unsigned.maximum/2) (.nat (i.* (if (i.>= +0 jump) +1 -1) jump)))] (if big? - (:: ! map (|>> #.Left) (//signed.s4 jump)) - (:: ! map (|>> #.Right) (//signed.s2 jump)))))) + (\ ! map (|>> #.Left) (//signed.s4 jump)) + (\ ! map (|>> #.Right) (//signed.s2 jump)))))) (exception: #export (unset-label {label Label}) (exception.report @@ -747,7 +747,7 @@ (do try.monad [[expected @to] (..resolve-label label resolver) _ (exception.assert ..mismatched-environments [(name-of <instruction>) label @here expected actual] - (:: /stack.equivalence = expected actual)) + (\ /stack.equivalence = expected actual)) jump (..jump @from @to)] (case jump (#.Left jump) @@ -798,7 +798,7 @@ (#.Some [expected (#.Some @to)]) (do try.monad [_ (exception.assert ..mismatched-environments [(name-of <instruction>) label @here expected actual] - (:: /stack.equivalence = expected actual)) + (\ /stack.equivalence = expected actual)) jump (..jump @from @to)] (case jump (#.Left jump) @@ -860,9 +860,9 @@ (wrap [@default @at-minimum @afterwards])) (#.Some [@default @at-minimum @afterwards]) (do {! try.monad} - [>default (:: ! map ..big-jump (..jump @from @default)) - >at-minimum (:: ! map ..big-jump (..jump @from @at-minimum)) - >afterwards (monad.map ! (|>> (..jump @from) (:: ! map ..big-jump)) + [>default (\ ! map ..big-jump (..jump @from @default)) + >at-minimum (\ ! map ..big-jump (..jump @from @at-minimum)) + >afterwards (monad.map ! (|>> (..jump @from) (\ ! map ..big-jump)) @afterwards)] (wrap [..no-exceptions (bytecode minimum >default [>at-minimum >afterwards])])) @@ -902,10 +902,10 @@ (wrap [@default @cases])) (#.Some [@default @cases]) (do {! try.monad} - [>default (:: ! map ..big-jump (..jump @from @default)) + [>default (\ ! map ..big-jump (..jump @from @default)) >cases (|> @cases - (monad.map ! (|>> (..jump @from) (:: ! map ..big-jump))) - (:: ! map (|>> (list.zip/2 (list\map product.left cases)))))] + (monad.map ! (|>> (..jump @from) (\ ! map ..big-jump))) + (\ ! map (|>> (list.zip/2 (list\map product.left cases)))))] (wrap [..no-exceptions (bytecode >default >cases)])) #.None |