diff options
author | Eduardo Julian | 2019-07-08 00:24:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-08 00:24:20 -0400 |
commit | a952343569f321006d0183ef7ce250e3f8b996cb (patch) | |
tree | 5e360dc6b36cf32bf0566b4c4bbe27954e164ce0 /stdlib/source/lux/target/jvm/instruction/bytecode.lux | |
parent | 4db84442d8d1932c330bea1ffdd6ff18447a47de (diff) |
* Re-named "Instruction" to "Bytecode".
* Re-named "Program" to "Instruction".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/target/jvm/instruction/bytecode.lux (renamed from stdlib/source/lux/target/jvm/program/instruction.lux) | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/lux/target/jvm/program/instruction.lux b/stdlib/source/lux/target/jvm/instruction/bytecode.lux index 4f9c43f56..bef2628f6 100644 --- a/stdlib/source/lux/target/jvm/program/instruction.lux +++ b/stdlib/source/lux/target/jvm/instruction/bytecode.lux @@ -31,16 +31,16 @@ (type: #export Size Nat) -(type: #export Instruction +(type: #export Bytecode [Size (-> [Environment Specification] (Try [Environment Specification]))]) -(def: #export (run instruction) - (-> Instruction (Try [Environment Specification])) - (let [[_ instruction'] instruction] - (instruction' [/.start binaryF.no-op]))) +(def: #export (run bytecode) + (-> Bytecode (Try [Environment Specification])) + (let [[_ bytecode'] bytecode] + (bytecode' [/.start binaryF.no-op]))) -(def: (instruction size condition transform) - (-> Size Condition (-> Specification Specification) Instruction) +(def: (bytecode size condition transform) + (-> Size Condition (-> Specification Specification) Bytecode) [size (function (_ [environment specification]) (do try.monad @@ -381,8 +381,8 @@ ["B5" putfield/1 2 1] ["B5" putfield/2 2 2])] (template [<arity> <size> <definitions>] [(with-expansions [<definitions>' (template.splice <definitions>)] - (template [<code> <name> <instruction-inputs> <arity-inputs> <consumes> <produces> <locals>] - [(with-expansions [<inputs>' (template.splice <instruction-inputs>) + (template [<code> <name> <bytecode-inputs> <arity-inputs> <consumes> <produces> <locals>] + [(with-expansions [<inputs>' (template.splice <bytecode-inputs>) <input-types> (template [<input-name> <input-type>] [<input-type>] @@ -393,8 +393,8 @@ <inputs>') <locals>' (template.splice <locals>)] (def: #export (<name> <input-names>) - (-> <input-types> Instruction) - (..instruction + (-> <input-types> Bytecode) + (..bytecode <size> (`` ($_ /@compose (/.consumes <consumes>) @@ -478,7 +478,7 @@ )) (structure: #export monoid - (Monoid Instruction) + (Monoid Bytecode) (def: identity ..nop) |