aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc
diff options
context:
space:
mode:
authorEduardo Julian2021-08-13 04:18:57 -0400
committerEduardo Julian2021-08-13 04:18:57 -0400
commite53c1a090eb9cfac3cb23d10d981648d02518ed1 (patch)
tree6c92c186525b6e73032ebea68765b791bcc27516 /lux-jvm/source/luxc
parent17629d66062b88b040a2397032f6c08361a5f3a7 (diff)
Made program: specify its bindings the same way as syntax:.
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux16
2 files changed, 9 insertions, 9 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index bc038bc92..7f1df4db3 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -420,7 +420,7 @@
(def: (relabel [mapping label])
(Re_labeler Identity)
- (case (dictionary.get label mapping)
+ (case (dictionary.value label mapping)
(#.Some label)
[mapping label]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 6fc52a0ab..b25d37fd7 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -120,7 +120,7 @@
(template [<conversion> <name>]
[(def: (<name> inputI)
(Unary Inst)
- (if (is? _.NOP <conversion>)
+ (if (same? _.NOP <conversion>)
inputI
(|>> inputI
<conversion>)))]
@@ -628,7 +628,7 @@
(function (_ extension_name generate archive [class field unboxed])
(do phase.monad
[]
- (case (dictionary.get unboxed ..primitives)
+ (case (dictionary.value unboxed ..primitives)
(#.Some primitive)
(in (_.GETSTATIC (type.class class (list)) field primitive))
@@ -643,7 +643,7 @@
(do phase.monad
[valueI (generate archive valueS)
.let [$class (type.class class (list))]]
- (case (dictionary.get unboxed ..primitives)
+ (case (dictionary.value unboxed ..primitives)
(#.Some primitive)
(in (|>> valueI
(_.PUTSTATIC $class field primitive)
@@ -663,7 +663,7 @@
(do phase.monad
[objectI (generate archive objectS)
.let [$class (type.class class (list))
- getI (case (dictionary.get unboxed ..primitives)
+ getI (case (dictionary.value unboxed ..primitives)
(#.Some primitive)
(_.GETFIELD $class field primitive)
@@ -682,7 +682,7 @@
[valueI (generate archive valueS)
objectI (generate archive objectS)
.let [$class (type.class class (list))
- putI (case (dictionary.get unboxed ..primitives)
+ putI (case (dictionary.value unboxed ..primitives)
(#.Some primitive)
(_.PUTFIELD $class field primitive)
@@ -917,7 +917,7 @@
(^ (synthesis.variable var))
(|> mapping
- (dictionary.get body)
+ (dictionary.value body)
(maybe.else var)
synthesis.variable)
@@ -944,7 +944,7 @@
(case captured
(^ (synthesis.variable var))
(|> mapping
- (dictionary.get captured)
+ (dictionary.value captured)
(maybe.else var)
synthesis.variable)
@@ -1114,7 +1114,7 @@
(list\map (function (_ [foreign_id capture])
[(synthesis.variable/foreign foreign_id)
(|> global_mapping
- (dictionary.get capture)
+ (dictionary.value capture)
maybe.assume)]))
(dictionary.of_list synthesis.hash))]
[ownerT name