From 376c3e472fbb1e2656f8c61b26e0276570609aa1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 13 Sep 2021 00:29:57 -0400 Subject: Updated only/except import syntax to take into account record => variant syntax change. --- .../specification/compositor/generation/case.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 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 8343cbb67..00de5e126 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,32 +1,32 @@ (.module: - [lux {"-" [case]} - ["_" test {"+" [Test]}] + [lux {"-" case} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] - ["[0]" try {"+" [Try]}]] + [pipe {"+" case>}] + ["[0]" try {"+" Try}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [number ["n" nat] ["f" frac]] [collection ["[0]" list ("[1]#[0]" mix)]]] [math - ["r" random {"+" [Random]}]] + ["r" random {"+" Random}]] [tool [compiler ["[0]" reference] ["[0]" analysis] - ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" synthesis {"+" Path Synthesis}] ["[0]" phase ["[1]/[0]" synthesis ["[0]" case]] ["[0]" extension/synthesis]]]]] [/// - [common {"+" [Runner]}]]) + [common {"+" Runner}]]) (def: limit Nat 10) -- cgit v1.2.3