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/case.lux | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/case.lux') diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index d71abc703..d699aa74b 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [number ["n" nat] ["f" frac]] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." analysis] - ["." synthesis {"+" [Path Synthesis]}] - ["." phase - ["#/." synthesis - ["." case]] - ["." extension/synthesis]]]]] + ["[0]" reference] + ["[0]" analysis] + ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" phase + ["[1]/[0]" synthesis + ["[0]" case]] + ["[0]" extension/synthesis]]]]] [/// [common {"+" [Runner]}]]) -- cgit v1.2.3