diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/instruction.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 060e751a5..fa61fa2fc 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -38,17 +38,17 @@ [type [category (.only Value Method)]]]]) -(type: .public Size +(type .public Size U2) -(type: .public Estimator +(type .public Estimator (-> Address Size)) (def fixed (-> Size Estimator) function.constant) -(type: .public Instruction +(type .public Instruction (-> Specification Specification)) (def .public empty @@ -59,7 +59,7 @@ (-> Instruction Specification) (function.on \\format.no_op)) -(type: Opcode +(type Opcode Nat) (with_template [<size> <name>] |