From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 7 Sep 2021 22:50:21 -0400 Subject: De-taggification | part 4 --- lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux | 20 ++++++++++---------- lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 6 +++--- lux-jvm/test/test/luxc/lang/synthesis/procedure.lux | 4 ++-- lux-jvm/test/test/luxc/lang/translation/jvm.lux | 8 ++++---- 4 files changed, 19 insertions(+), 19 deletions(-) (limited to 'lux-jvm/test') 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) format] [collection - ["." array] + ["[0]" array] [list ("list/" Mix)] ["dict" dictionary]]] [math ["r" random "r/" Monad]] - ["." type] + ["[0]" type] [macro {"+" [Monad]} - ["." 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 [ ] [(def: ( 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]" -- cgit v1.2.3