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 +++++++-------
 .../source/specification/compositor/generation/common.lux  | 12 ++++++------
 .../specification/compositor/generation/function.lux       | 14 +++++++-------
 .../specification/compositor/generation/primitive.lux      |  8 ++++----
 .../specification/compositor/generation/reference.lux      |  8 ++++----
 .../specification/compositor/generation/structure.lux      | 12 ++++++------
 6 files changed, 34 insertions(+), 34 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation')

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)
 
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index e93a46c29..b20c2e646 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -1,11 +1,11 @@
 (.using
  [lux {"-" i64}
-  ["_" test {"+" Test}]
+  ["_" test (.only Test)]
   [abstract
-   [monad {"+" do}]]
+   [monad (.only do)]]
   [control
    ["[0]" pipe]
-   ["[0]" try {"+" Try}]]
+   ["[0]" try (.only Try)]]
   [data
    ["[0]" bit ("[1]#[0]" equivalence)]
    [number
@@ -14,13 +14,13 @@
     ["i" int]
     ["f" frac]]
    ["[0]" text ("[1]#[0]" equivalence)
-    ["%" format {"+" format}]]
+    ["%" format (.only format)]]
    [collection
     ["[0]" list]]]
   [macro
    ["^" pattern]]
   [math
-   ["r" random {"+" Random}]]
+   ["r" random (.only Random)]]
   [tool
    [compiler
     ["[0]" reference]
@@ -28,7 +28,7 @@
  ["[0]" // "_"
   ["[1][0]" case]
   [//
-   [common {"+" Runner}]]])
+   [common (.only Runner)]]])
 
 (def: safe
   (-> Text Text)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 33db49436..b49305c50 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,8 +1,8 @@
 (.using
  [lux {"-" function}
-  ["_" test {"+" Test}]
+  ["_" test (.only Test)]
   [abstract
-   [monad {"+" do}]
+   [monad (.only do)]
    ["[0]" enum]]
   [control
    ["[0]" maybe]]
@@ -12,16 +12,16 @@
    [collection
     ["[0]" list ("[1]#[0]" functor)]]]
   [math
-   ["r" random {"+" Random} ("[1]#[0]" monad)]]
+   ["r" random (.only Random) ("[1]#[0]" monad)]]
   [tool
    [compiler
-    [analysis {"+" Arity}]
-    ["[0]" reference {"+" Register}]
-    ["[0]" synthesis {"+" Synthesis}]]]]
+    [analysis (.only Arity)]
+    ["[0]" reference (.only Register)]
+    ["[0]" synthesis (.only Synthesis)]]]]
  ["[0]" // "_"
   ["[1][0]" case]
   [//
-   [common {"+" Runner}]]])
+   [common (.only Runner)]]])
 
 (def: max_arity
   Arity
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index d79b226c3..6e61088c4 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -1,8 +1,8 @@
 (.using
  [lux "*"
-  ["_" test {"+" Test}]
+  ["_" test (.only Test)]
   [abstract
-   [monad {"+" do}]]
+   [monad (.only do)]]
   [control
    ["[0]" pipe]
    ["[0]" try]]
@@ -11,14 +11,14 @@
    [number
     ["f" frac]]
    ["[0]" text ("[1]#[0]" equivalence)
-    ["%" format {"+" format}]]]
+    ["%" format (.only format)]]]
   [math
    ["r" random]]
   [tool
    [compiler
     ["[0]" synthesis]]]]
  [///
-  [common {"+" Runner}]])
+  [common (.only Runner)]])
 
 (def: (f/=' reference subject)
   (-> Frac Frac Bit)
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index f0893573f..56bb78a2f 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,8 +1,8 @@
 (.using
  [lux {"-" symbol}
-  ["_" test {"+" Test}]
+  ["_" test (.only Test)]
   [abstract
-   [monad {"+" do}]]
+   [monad (.only do)]]
   [control
    ["[0]" pipe]
    ["[0]" try]]
@@ -15,9 +15,9 @@
     ["[0]" reference]
     ["[0]" synthesis]]]
   [math
-   ["r" random {"+" Random}]]]
+   ["r" random (.only Random)]]]
  [///
-  [common {"+" Runner Definer}]])
+  [common (.only Runner Definer)]])
 
 (def: symbol
   (Random Symbol)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 3080f6abd..79e6374fb 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -1,8 +1,8 @@
 (.using
  [lux "*"
-  ["_" test {"+" Test}]
+  ["_" test (.only Test)]
   [abstract
-   [monad {"+" do}]]
+   [monad (.only do)]]
   [control
    ["[0]" pipe]
    ["[0]" maybe]
@@ -12,19 +12,19 @@
     ["n" nat]
     ["i" int]]
    ["[0]" text ("[1]#[0]" equivalence)
-    ["%" format {"+" format}]]
+    ["%" format (.only format)]]
    [collection
-    ["[0]" array {"+" Array}]
+    ["[0]" array (.only Array)]
     ["[0]" list ("[1]#[0]" functor)]]]
   [math
    ["r" random]]
-  ["[0]" ffi {"+" import:}]
+  ["[0]" ffi (.only import:)]
   [tool
    [compiler
     ["[0]" analysis]
     ["[0]" synthesis]]]]
  [///
-  [common {"+" Runner}]])
+  [common (.only Runner)]])
 
 (import: java/lang/Integer)
 
-- 
cgit v1.2.3