diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation/case.lux')
-rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 1e5502e17..bfc499232 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,32 +1,32 @@ (.using [lux {"-" case} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat] ["f" frac]] [collection ["[0]" list ("[1]#[0]" mix)]]] [math - ["r" random {"+" Random}]] + ["r" random (.only Random)]] [tool [compiler ["[0]" reference] ["[0]" analysis] - ["[0]" synthesis {"+" Path Synthesis}] + ["[0]" synthesis (.only Path Synthesis)] ["[0]" phase ["[1]/[0]" synthesis ["[0]" case]] ["[0]" extension/synthesis]]]]] [/// - [common {"+" Runner}]]) + [common (.only Runner)]]) (def: limit Nat 10) |