diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/instruction.lux | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 2e21d2a8e..bba0c67da 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -36,7 +36,8 @@ [type [category (#+ Value Method)]]]]) -(type: .public Size U2) +(type: .public Size + U2) (type: .public Estimator (-> Address Size)) @@ -56,7 +57,8 @@ (-> Instruction Specification) (function.on format.no_op)) -(type: Opcode Nat) +(type: Opcode + Nat) (template [<name> <size>] [(def: <name> Size (|> <size> ///unsigned.u2 try.trusted))] @@ -608,7 +610,7 @@ tableswitch_size (try.trusted (do {! try.monad} [size (///unsigned.u2 size)] - (\ ! map (|>> estimator ///unsigned.value) + (\ ! each (|>> estimator ///unsigned.value) (//address.move size //address.start)))) tableswitch_mutation (: Mutation (function (_ [offset binary]) @@ -672,7 +674,7 @@ lookupswitch_size (try.trusted (do {! try.monad} [size (///unsigned.u2 size)] - (\ ! map (|>> estimator ///unsigned.value) + (\ ! each (|>> estimator ///unsigned.value) (//address.move size //address.start)))) lookupswitch_mutation (: Mutation (function (_ [offset binary]) @@ -713,5 +715,5 @@ (def: identity ..empty) - (def: (compose left right) + (def: (composite left right) (|>> left right))) |