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/snapshot.lux | 76 ++++++++++++------------
 1 file changed, 38 insertions(+), 38 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index b2c6417b1..cea873a6e 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,24 +1,24 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" xml]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
-  ["$[0]" / "_"
-   ["[1][0]" build]
-   ["[1][0]" stamp]
-   ["[1][0]" time]
-   ["[1][0]" version]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" xml]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ ["$[0]" / "_"
+  ["[1][0]" build]
+  ["[1][0]" stamp]
+  ["[1][0]" time]
+  ["[1][0]" version]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Snapshot)
@@ -29,22 +29,22 @@
   Test
   (<| (_.covering /._)
       (_.for [/.Snapshot]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
-                 
-                 (do random.monad
-                   [expected ..random]
-                   (_.cover [/.format /.parser]
-                            (|> expected
-                                /.format
-                                list
-                                (<xml>.result /.parser)
-                                (try#each (# /.equivalence = expected))
-                                (try.else false))))
+             (all _.and
+                  (_.for [/.equivalence]
+                         ($equivalence.spec /.equivalence ..random))
+                  
+                  (do random.monad
+                    [expected ..random]
+                    (_.cover [/.format /.parser]
+                             (|> expected
+                                 /.format
+                                 list
+                                 (<xml>.result /.parser)
+                                 (try#each (# /.equivalence = expected))
+                                 (try.else false))))
 
-                 $/build.test
-                 $/stamp.test
-                 $/time.test
-                 $/version.test
-                 ))))
+                  $/build.test
+                  $/stamp.test
+                  $/time.test
+                  $/version.test
+                  ))))
-- 
cgit v1.2.3