From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 Jun 2022 21:52:34 -0400
Subject: Extensible import syntax: Part 1

---
 stdlib/source/specification/compositor/generation/case.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 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 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)
 
-- 
cgit v1.2.3