aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm/instruction/bytecode.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-07-08 00:24:20 -0400
committerEduardo Julian2019-07-08 00:24:20 -0400
commita952343569f321006d0183ef7ce250e3f8b996cb (patch)
tree5e360dc6b36cf32bf0566b4c4bbe27954e164ce0 /stdlib/source/lux/target/jvm/instruction/bytecode.lux
parent4db84442d8d1932c330bea1ffdd6ff18447a47de (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)