aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/test
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-jvm/test
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r--lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux20
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/loop.lux6
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/procedure.lux4
-rw-r--r--lux-jvm/test/test/luxc/lang/translation/jvm.lux8
4 files changed, 19 insertions, 19 deletions
diff --git a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
index e8a585408..ef12fcf25 100644
--- a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
@@ -3,33 +3,33 @@
[control
pipe
[monad {"+" [do]}]
- ["." maybe]]
+ ["[0]" maybe]]
[data
["e" error]
- ["." product]
+ ["[0]" product]
[text ("text/" Equivalence<Text>)
format]
[collection
- ["." array]
+ ["[0]" array]
[list ("list/" Mix<List>)]
["dict" dictionary]]]
[math
["r" random "r/" Monad<Random>]]
- ["." type]
+ ["[0]" type]
[macro {"+" [Monad<Meta>]}
- ["." code]]
+ ["[0]" code]]
[compiler
- ["." default
- [".L" init]
+ ["[0]" default
+ ["[0]L" init]
[phase
[analysis
- [".A" type]]
+ ["[0]A" type]]
[extension
[analysis
- [".AE" host]]]]]]
+ ["[0]AE" host]]]]]]
test]
[///
- ["_." primitive]])
+ ["_[0]" primitive]])
(template [<name> <success> <failure>]
[(def: (<name> procedure params output-type)
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
index 7c059ac2e..ad2a67deb 100644
--- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
+++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
@@ -12,9 +12,9 @@
test)
(luxc (lang ["la" analysis]
["ls" synthesis]
- (synthesis [".S" expression]
- [".S" loop])
- [".L" extension]))
+ (synthesis ["[0]S" expression]
+ ["[0]S" loop])
+ ["[0]L" extension]))
(// common))
(def: (does-recursion? arity exprS)
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux b/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
index ccbb28320..1262f2252 100644
--- a/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
+++ b/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
@@ -10,8 +10,8 @@
test)
(luxc (lang ["la" analysis]
["ls" synthesis]
- (synthesis [".S" expression])
- [".L" extension]))
+ (synthesis ["[0]S" expression])
+ ["[0]L" extension]))
(// common))
(context: "Procedures"
diff --git a/lux-jvm/test/test/luxc/lang/translation/jvm.lux b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
index 060081e13..95812e6ca 100644
--- a/lux-jvm/test/test/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
@@ -17,11 +17,11 @@
[host]
test)
(luxc [lang]
- (lang [".L" host]
+ (lang ["[0]L" host]
["ls" synthesis]
- (translation (jvm [".T" expression]
- [".T" eval]
- [".T" runtime]))))
+ (translation (jvm ["[0]T" expression]
+ ["[0]T" eval]
+ ["[0]T" runtime]))))
(test/luxc common))
(context: "Conversions [Part 1]"