aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/case.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/case.jvm.lux')
-rw-r--r--new-luxc/source/luxc/lang/translation/case.jvm.lux24
1 files changed, 12 insertions, 12 deletions
diff --git a/new-luxc/source/luxc/lang/translation/case.jvm.lux b/new-luxc/source/luxc/lang/translation/case.jvm.lux
index cf2cdb7f1..3363e007c 100644
--- a/new-luxc/source/luxc/lang/translation/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/case.jvm.lux
@@ -10,7 +10,7 @@
(jvm ["$t" type]
["$i" inst]))
["ls" synthesis]))
- [../runtime])
+ [//runtime])
(def: $Object $;Type ($t;class "java.lang.Object" (list)))
@@ -29,7 +29,7 @@
(|>. $i;DUP
($i;INVOKESTATIC hostL;runtime-class
"pm_peek"
- ($t;method (list ../runtime;$Stack)
+ ($t;method (list //runtime;$Stack)
(#;Some $Object)
(list))
false)))
@@ -38,8 +38,8 @@
$;Inst
(|>. ($i;INVOKESTATIC hostL;runtime-class
"pm_pop"
- ($t;method (list ../runtime;$Stack)
- (#;Some ../runtime;$Stack)
+ ($t;method (list //runtime;$Stack)
+ (#;Some //runtime;$Stack)
(list))
false)))
@@ -47,8 +47,8 @@
$;Inst
(|>. ($i;INVOKESTATIC hostL;runtime-class
"pm_push"
- ($t;method (list ../runtime;$Stack $Object)
- (#;Some ../runtime;$Stack)
+ ($t;method (list //runtime;$Stack $Object)
+ (#;Some //runtime;$Stack)
(list))
false)))
@@ -112,18 +112,18 @@
(macro/wrap (case idx
+0
(|>. peekI
- ($i;CHECKCAST ($t;descriptor ../runtime;$Tuple))
+ ($i;CHECKCAST ($t;descriptor //runtime;$Tuple))
($i;int 0)
$i;AALOAD
pushI)
_
(|>. peekI
- ($i;CHECKCAST ($t;descriptor ../runtime;$Tuple))
+ ($i;CHECKCAST ($t;descriptor //runtime;$Tuple))
($i;int (nat-to-int idx))
($i;INVOKESTATIC hostL;runtime-class
<method>
- ($t;method (list ../runtime;$Tuple $t;int)
+ ($t;method (list //runtime;$Tuple $t;int)
(#;Some $Object)
(list))
false)
@@ -136,12 +136,12 @@
(macro/wrap (<| $i;with-label (function [@success])
$i;with-label (function [@fail])
(|>. peekI
- ($i;CHECKCAST ($t;descriptor ../runtime;$Variant))
+ ($i;CHECKCAST ($t;descriptor //runtime;$Variant))
($i;int (nat-to-int idx))
<flag>
($i;INVOKESTATIC hostL;runtime-class "pm_variant"
- ($t;method (list ../runtime;$Variant ../runtime;$Tag ../runtime;$Flag)
- (#;Some ../runtime;$Datum)
+ ($t;method (list //runtime;$Variant //runtime;$Tag //runtime;$Flag)
+ (#;Some //runtime;$Datum)
(list))
false)
$i;DUP