From 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 03:33:01 -0400
Subject: De-sigil-ification: @

---
 stdlib/source/test/aedifex/metadata/snapshot.lux | 100 +++++++++++------------
 1 file changed, 50 insertions(+), 50 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d59e79809..4735a6994 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -1,53 +1,53 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" maybe]
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["[0]" environment]
-      ["<[0]>" xml]]
-     [concurrency
-      ["[0]" async]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list]]]
-    [macro
-     ["[0]" code]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]]]
-    ["[0]" time
-     ["[0]" date]
-     ["[0]" year]
-     ["[0]" month]
-     ["[0]" instant {"+" Instant}]
-     ["[0]" duration]]
-    [world
-     ["[0]" file]
-     ["[0]" program]]]]
-  ["$[0]" /// "_"
-   ["[1][0]" artifact
-    ["[1]/[0]" type]
-    ["[1]/[0]" time]
-    ["[1]/[0]" snapshot "_"
-     ["[1]/[0]" version]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" //
-     ["/[1]" // "_"
-      [artifact
-       [versioning {"+" Versioning}]
-       ["[1][0]" snapshot]]
-      ["[1][0]" repository "_"
-       ["[1]/[0]" local]]]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" maybe]
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["[0]" environment]
+     ["<[0]>" xml]]
+    [concurrency
+     ["[0]" async]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list]]]
+   [macro
+    ["[0]" code]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]]]
+   ["[0]" time
+    ["[0]" date]
+    ["[0]" year]
+    ["[0]" month]
+    ["[0]" instant {"+" Instant}]
+    ["[0]" duration]]
+   [world
+    ["[0]" file]
+    ["[0]" program]]]]
+ ["$[0]" /// "_"
+  ["[1][0]" artifact
+   ["[1]/[0]" type]
+   ["[1]/[0]" time]
+   ["[1]/[0]" snapshot "_"
+    ["[1]/[0]" version]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" //
+    ["/[1]" // "_"
+     [artifact
+      [versioning {"+" Versioning}]
+      ["[1][0]" snapshot]]
+     ["[1][0]" repository "_"
+      ["[1]/[0]" local]]]]]])
 
 (def: random_instant
   (Random Instant)
@@ -91,7 +91,7 @@
       (_.for [/.Metadata])
       (do random.monad
         [expected ..random
-         .let [artifact (value@ /.#artifact expected)]]
+         .let [artifact (the /.#artifact expected)]]
         ($_ _.and
             (_.for [/.equivalence]
                    ($equivalence.spec /.equivalence ..random))
-- 
cgit v1.2.3