aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase')
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/jvm/primitive.lux6
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/jvm/runtime.lux6
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/jvm/structure.lux6
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/jvm/primitive.lux b/stdlib/source/lux/tool/compiler/phase/generation/jvm/primitive.lux
index d0d819925..2807487ae 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/jvm/primitive.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/jvm/primitive.lux
@@ -6,21 +6,21 @@
[jvm
["|" descriptor]
["." constant]
- ["_" program (#+ Program)]]]
+ ["_" instruction (#+ Instruction)]]]
[macro
["." template]]]
["." // #_
["#." runtime]])
(def: #export (bit value)
- (-> Bit (Program Any))
+ (-> Bit (Instruction Any))
(_.getstatic "java.lang.Boolean"
(if value "TRUE" "FALSE")
(|.object "java.lang.Boolean")))
(template [<name> <inputT> <ldc> <class> <inputD>]
[(def: #export (<name> value)
- (-> <inputT> (Program Any))
+ (-> <inputT> (Instruction Any))
(do _.monad
[_ (`` (|> value (~~ (template.splice <ldc>))))]
(_.invokestatic <class> "valueOf"
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/jvm/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/jvm/runtime.lux
index f43fc907a..b45965dc5 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/jvm/runtime.lux
@@ -4,7 +4,7 @@
[binary (#+ Binary)]]
[target
[jvm
- ["_" program (#+ Label Program)]]]]
+ ["_" instruction (#+ Label Instruction)]]]]
["." ///
[///
[reference (#+ Register)]]]
@@ -18,7 +18,7 @@
(template [<name> <base>]
[(type: #export <name>
- (<base> Anchor (Program Any) Definition))]
+ (<base> Anchor (Instruction Any) Definition))]
[Operation ///.Operation]
[Phase ///.Phase]
@@ -27,6 +27,6 @@
)
(type: #export (Generator i)
- (-> Phase i (Operation (Program Any))))
+ (-> Phase i (Operation (Instruction Any))))
(def: #export class "LuxRuntime")
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/jvm/structure.lux b/stdlib/source/lux/tool/compiler/phase/generation/jvm/structure.lux
index beeeea2c7..1282ac245 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/jvm/structure.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/jvm/structure.lux
@@ -11,7 +11,7 @@
[jvm
["|" descriptor]
["_." constant]
- ["_" program (#+ Program)]]]]
+ ["_" instruction (#+ Instruction)]]]]
["." // #_
["#." runtime (#+ Operation Phase Generator)]
["#." primitive]
@@ -20,7 +20,7 @@
[analysis (#+ Variant Tuple)]
["#." synthesis (#+ Synthesis)]]]])
-(def: unitG (Program Any) (//primitive.text /////synthesis.unit))
+(def: unitG (Instruction Any) (//primitive.text /////synthesis.unit))
(template: (!integer <value>)
(|> <value> .i64 i32.i32 _constant.integer))
@@ -52,7 +52,7 @@
(monad.seq @ membersI))))))
(def: (flagG right?)
- (-> Bit (Program Any))
+ (-> Bit (Instruction Any))
(if right?
..unitG
_.aconst-null))