From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/test/aedifex/artifact/extension.lux | 72 +++++++++++------------
 1 file changed, 36 insertions(+), 36 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact/extension.lux')

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index d1f1c4dea..b71b0c001 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,43 +1,43 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" set]
-      ["[0]" list]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" // "_"
-     ["[1]" type]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" set]
+     ["[0]" list]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1]" type]]]])
 
 (def: .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Extension]
-             ($_ _.and
-                 (_.cover [/.lux_library /.jvm_library /.pom
-                           /.sha-1 /.md5]
-                          (let [options (list /.lux_library /.jvm_library /.pom /.sha-1 /.md5)
-                                uniques (set.of_list text.hash options)]
-                            (n.= (list.size options)
-                                 (set.size uniques))))
-                 (_.cover [/.extension /.type]
-                          (`` (and (~~ (template [<type> <extension>]
-                                         [(and (text#= <extension>
-                                                       (/.extension <type>))
-                                               (text#= <type>
-                                                       (/.type (/.extension <type>))))]
+             (all _.and
+                  (_.cover [/.lux_library /.jvm_library /.pom
+                            /.sha-1 /.md5]
+                           (let [options (list /.lux_library /.jvm_library /.pom /.sha-1 /.md5)
+                                 uniques (set.of_list text.hash options)]
+                             (n.= (list.size options)
+                                  (set.size uniques))))
+                  (_.cover [/.extension /.type]
+                           (`` (and (~~ (template [<type> <extension>]
+                                          [(and (text#= <extension>
+                                                        (/.extension <type>))
+                                                (text#= <type>
+                                                        (/.type (/.extension <type>))))]
 
-                                         [//.lux_library /.lux_library]
-                                         [//.jvm_library /.jvm_library]
-                                         [//.pom /.pom]
-                                         )))))
-                 ))))
+                                          [//.lux_library /.lux_library]
+                                          [//.jvm_library /.jvm_library]
+                                          [//.pom /.pom]
+                                          )))))
+                  ))))
-- 
cgit v1.2.3