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 --- stdlib/source/test/aedifex/cache.lux | 48 ++++++++++++++++++------------------ 1 file changed, 24 insertions(+), 24 deletions(-) (limited to 'stdlib/source/test/aedifex/cache.lux') diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 7bd36499b..fc5efcf8f 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -3,47 +3,47 @@ [lux {"-" [Type type]} ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try] + ["[0]" try] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data [binary {"+" [Binary]}] - ["." text] + ["[0]" text] [format [xml {"+" [XML]}]] [collection - ["." set] - ["." dictionary]]] + ["[0]" set] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [// - ["@." profile] - ["@." artifact] + ["@[0]" profile] + ["@[0]" artifact] [// [lux [data - ["_." binary]]]]] + ["_[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." package {"+" [Package]}] - ["#." pom] - ["#." dependency {"+" [Dependency]} - ["#/." resolution {"+" [Resolution]}]] - ["#." artifact {"+" [Artifact]} - ["#/." type {"+" [Type]}]] - ["#." repository "_" - ["#/." origin]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" package {"+" [Package]}] + ["[1][0]" pom] + ["[1][0]" dependency {"+" [Dependency]} + ["[1]/[0]" resolution {"+" [Resolution]}]] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" type {"+" [Type]}]] + ["[1][0]" repository "_" + ["[1]/[0]" origin]]]]]) (def: type (Random Type) -- cgit v1.2.3