diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-jvm/test | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to '')
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]" |