From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 12:49:52 -0400
Subject: De-taggification | part 2

---
 .../specification/compositor/generation/case.lux     | 18 +++++++++---------
 .../specification/compositor/generation/common.lux   | 18 +++++++++---------
 .../specification/compositor/generation/function.lux | 20 ++++++++++----------
 .../compositor/generation/primitive.lux              | 12 ++++++------
 .../compositor/generation/reference.lux              | 12 ++++++------
 .../compositor/generation/structure.lux              | 16 ++++++++--------
 6 files changed, 48 insertions(+), 48 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 d1d0074fd..c7c221eb7 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>)]
-    ["." try (#+ Try)]]
+    [pipe {"+" [case>]}]
+    ["." try {"+" [Try]}]]
    [data
     ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]
+     ["%" format {"+" [format]}]]
     [number
      ["n" nat]
      ["f" frac]]
     [collection
      ["." list ("#\." mix)]]]
    [math
-    ["r" random (#+ Random)]]
+    ["r" random {"+" [Random]}]]
    [tool
     [compiler
      ["." reference]
      ["." analysis]
-     ["." synthesis (#+ Path Synthesis)]
+     ["." synthesis {"+" [Path Synthesis]}]
      ["." phase
       ["#/." synthesis
        ["." case]]
       ["." extension/synthesis]]]]]
   [///
-   [common (#+ Runner)]])
+   [common {"+" [Runner]}]])
 
 (def: limit Nat 10)
 
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index e9d8eae55..18d739d8e 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -1,11 +1,11 @@
 (.module:
-  [lux (#- i64)
-   ["_" test (#+ Test)]
+  [lux {"-" [i64]}
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]]
+    [monad {"+" [do]}]]
    [control
-    [pipe (#+ case>)]
-    ["." try (#+ Try)]]
+    [pipe {"+" [case>]}]
+    ["." try {"+" [Try]}]]
    [data
     ["." bit ("#\." equivalence)]
     [number
@@ -14,19 +14,19 @@
      ["i" int]
      ["f" frac]]
     ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]
+     ["%" format {"+" [format]}]]
     [collection
      ["." list]]]
    [math
-    ["r" random (#+ Random)]]
+    ["r" random {"+" [Random]}]]
    [tool
     [compiler
      ["." reference]
      ["." synthesis]]]]
-  ["." // #_
+  ["." // "_"
    ["#." case]
    [//
-    [common (#+ Runner)]]])
+    [common {"+" [Runner]}]]])
 
 (def: safe
   (-> Text Text)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index d97b2c02c..dc92cc224 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,11 +1,11 @@
 (.module:
-  [lux (#- function)
-   ["_" test (#+ Test)]
+  [lux {"-" [function]}
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]
+    [monad {"+" [do]}]
     ["." enum]]
    [control
-    [pipe (#+ case>)]
+    [pipe {"+" [case>]}]
     ["." maybe]]
    [data
     [number
@@ -13,16 +13,16 @@
     [collection
      ["." list ("#\." functor)]]]
    [math
-    ["r" random (#+ Random) ("#\." monad)]]
+    ["r" random {"+" [Random]} ("#\." monad)]]
    [tool
     [compiler
-     [analysis (#+ Arity)]
-     ["." reference (#+ Register)]
-     ["." synthesis (#+ Synthesis)]]]]
-  ["." // #_
+     [analysis {"+" [Arity]}]
+     ["." reference {"+" [Register]}]
+     ["." synthesis {"+" [Synthesis]}]]]]
+  ["." // "_"
    ["#." case]
    [//
-    [common (#+ Runner)]]])
+    [common {"+" [Runner]}]]])
 
 (def: max_arity
   Arity
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index cd740649c..a73ba6f21 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -1,24 +1,24 @@
 (.module:
-  [lux #*
-   ["_" test (#+ Test)]
+  [lux "*"
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]]
+    [monad {"+" [do]}]]
    [control
-    [pipe (#+ case>)]
+    [pipe {"+" [case>]}]
     ["." try]]
    [data
     ["." bit ("#\." equivalence)]
     [number
      ["f" frac]]
     ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]]
+     ["%" format {"+" [format]}]]]
    [math
     ["r" random]]
    [tool
     [compiler
      ["." synthesis]]]]
   [///
-   [common (#+ Runner)]])
+   [common {"+" [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 ee9da7455..bcf2bb2d1 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,10 +1,10 @@
 (.module:
-  [lux #*
-   ["_" test (#+ Test)]
+  [lux "*"
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]]
+    [monad {"+" [do]}]]
    [control
-    [pipe (#+ case>)]
+    [pipe {"+" [case>]}]
     ["." try]]
    [data
     [number
@@ -15,9 +15,9 @@
      ["." reference]
      ["." synthesis]]]
    [math
-    ["r" random (#+ Random)]]]
+    ["r" random {"+" [Random]}]]]
   [///
-   [common (#+ Runner Definer)]])
+   [common {"+" [Runner Definer]}]])
 
 (def: name
   (Random Name)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 33e38520f..4161c650a 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -1,10 +1,10 @@
 (.module:
-  [lux #*
-   ["_" test (#+ Test)]
+  [lux "*"
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]]
+    [monad {"+" [do]}]]
    [control
-    [pipe (#+ case>)]
+    [pipe {"+" [case>]}]
     ["." maybe]
     ["." try]]
    [data
@@ -12,19 +12,19 @@
      ["n" nat]
      ["i" int]]
     ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]
+     ["%" format {"+" [format]}]]
     [collection
-     ["." array (#+ Array)]
+     ["." array {"+" [Array]}]
      ["." list ("#\." functor)]]]
    [math
     ["r" random]]
-   ["." ffi (#+ import:)]
+   ["." ffi {"+" [import:]}]
    [tool
     [compiler
      ["." analysis]
      ["." synthesis]]]]
   [///
-   [common (#+ Runner)]])
+   [common {"+" [Runner]}]])
 
 (import: java/lang/Integer)
 
-- 
cgit v1.2.3