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 --- .../specification/compositor/generation/common.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/common.lux') diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 917d830b6..c8dd72bf7 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [number - ["." i64] + ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list]]] + ["[0]" list]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." synthesis]]]] - ["." // "_" - ["#." case] + ["[0]" reference] + ["[0]" synthesis]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) -- cgit v1.2.3