De-bracing | part 2

4 files changed, 9 insertions, 52 deletions

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index e9c09dfee..e81beecb2 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -861,8 +861,8 @@
   [(def: js
      "JavaScript")
    
-   (for {"JVM" (do jvm stuff)
-         js (do js stuff)}
+   (for ["JVM" (do jvm stuff)
+         js (do js stuff)]
         (do default stuff))])
 
 (documentation: /.``
diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux
index ef19810e2..745cca04f 100644
--- a/stdlib/source/documentation/lux/control/concatenative.lux
+++ b/stdlib/source/documentation/lux/control/concatenative.lux
@@ -27,10 +27,10 @@
      (=> [t] []))]
   [(All (_ a b c)
      (=> [a b c] [b c a]))]
-  [(All (_ ___a ___z)
-     (=> {then (=> ___a ___z)
-          else (=> ___a ___z)}
-         ___a [Bit then else] ___z))])
+  [(All (_ ,,,0 ,,,1)
+     (=> [then (=> ,,,0 ,,,1)
+          else (=> ,,,0 ,,,1)]
+         ,,,0 [Bit then else] ,,,1))])
 
 (documentation: /.||>
   "A self-contained sequence of concatenative instructions."
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index c9216cb0c..5d0e64f51 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -38,10 +38,10 @@
 (documentation: /.generation:
   ""
   [(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
-     (for {@.jvm
+     (for [@.jvm
            (\ phase.monad each (|>> #jvm.Embedded
                                     row.row)
-              (phase archive pass_through))}
+              (phase archive pass_through))]
           (phase archive pass_through)))])
 
 (documentation: /.directive:
diff --git a/stdlib/source/documentation/lux/type/poly.lux b/stdlib/source/documentation/lux/type/poly.lux
index 8708d3f90..f3d1ef3af 100644
--- a/stdlib/source/documentation/lux/type/poly.lux
+++ b/stdlib/source/documentation/lux/type/poly.lux
@@ -17,48 +17,6 @@
   [\\library
    ["[0]" /]])
 
-(documentation: /.derived:
-  ""
-  [(type: Variant
-     (.Variant
-      (#Bit Bit)
-      (#Text Text)
-      (#Frac Frac)))
-
-   (type: Recursive
-     (Rec Recursive
-       (.Variant
-        (#Number Frac)
-        (#Addition Frac Recursive))))
-
-   (type: Record
-     (.Record
-      [#bit Bit
-       #frac Frac
-       #text Text
-       #maybe (Maybe Frac)
-       #list (List Frac)
-       #dictionary (Dictionary Text Frac)
-       #variant Variant
-       #tuple [Bit Text Frac]
-       #recursive Recursive
-       #date Date
-       #grams (Qty Gram)]))
-
-   (derived: equivalence
-     ($equivalence.equivalence
-      Record))
-
-   (: (Equivalence Record)
-      equivalence)
-
-   (derived: codec
-     ($codec.codec
-      Record))
-
-   (: (Codec Json Record)
-      codec)])
-
 (documentation: /.code
   ""
   [(code env type)])
@@ -67,7 +25,6 @@
   (.List $.Module)
   ($.module /._
             ""
-            [..derived:
-             ..code
+            [..code
              ($.default /.poly:)]
             []))