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 --- .../source/test/aedifex/dependency/deployment.lux | 62 +++++++++++----------- 1 file changed, 31 insertions(+), 31 deletions(-) (limited to 'stdlib/source/test/aedifex/dependency/deployment.lux') diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 8dfa5a853..5b7869eab 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -4,50 +4,50 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." hash {"+" [Hash]}]] + ["[0]" hash {"+" [Hash]}]] [control - ["." io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." functor)] + ["[0]" io {"+" [IO]}] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." atom {"+" [Atom]}] - ["." async]]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async]]] [data - ["." product] - ["." binary {"+" [Binary]} ("#\." equivalence)] - ["." text + ["[0]" product] + ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}] - ["." set] - ["." list ("#\." mix)]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world [net {"+" [URL]} - ["." uri {"+" [URI]}] - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] - ["$." // - ["#/" // "_" - ["#." package]]] + ["[0]" uri {"+" [URI]}] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] + ["$[0]" // + ["[1]/" // "_" + ["[1][0]" package]]] [\\program - ["." / + ["[0]" / [// {"+" [Dependency]} - ["." resolution] + ["[0]" resolution] [// - ["." profile] - ["." metadata] - ["." package {"+" [Package]}] - ["." artifact {"+" [Artifact]} ("#\." equivalence) - ["#/." type] - ["#/." extension]] - ["." repository - ["." remote]]]]]]) + ["[0]" profile] + ["[0]" metadata] + ["[0]" package {"+" [Package]}] + ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence) + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[0]" repository + ["[0]" remote]]]]]]) (def: good_upload (@http.Response IO) -- cgit v1.2.3