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/program/aedifex/profile.lux | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/program/aedifex/profile.lux') diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 93be5bb38..2e3dc3da3 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -5,17 +5,17 @@ [monoid {"+" [Monoid]}] [equivalence {"+" [Equivalence]}]] [control - ["." maybe ("#\." monoid)] - ["." exception {"+" [exception:]}]] + ["[0]" maybe ("[1]\[0]" monoid)] + ["[0]" exception {"+" [exception:]}]] [data - ["." product] - ["." text ("#\." equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." monoid)] - ["." set {"+" [Set]}]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" monoid)] + ["[0]" set {"+" [Set]}]]] [macro - ["." template]] + ["[0]" template]] [world [net {"+" [URL]}] [file {"+" [Path]}]] @@ -25,10 +25,10 @@ [archive [descriptor {"+" [Module]}]]]]]]] [// - ["." runtime {"+" [Runtime]} ("#\." equivalence)] - ["." dependency {"+" [Dependency]} ("#\." equivalence)] - ["." artifact {"+" [Artifact]} - ["." type]] + ["[0]" runtime {"+" [Runtime]} ("[1]\[0]" equivalence)] + ["[0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)] + ["[0]" artifact {"+" [Artifact]} + ["[0]" type]] [repository [remote {"+" [Address]}]]]) -- cgit v1.2.3