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/package.lux | 96 +++++++++++++++++-----------------
 1 file changed, 48 insertions(+), 48 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 9579f82db..af51453dd 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,44 +1,44 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try]]
-    [data
-     ["[0]" product]
-     ["[0]" text
-      [encoding
-       ["[0]" utf8]]]
-     [format
-      ["[0]" xml {"+" XML}]]
-     [collection
-      ["[0]" set {"+" Set}]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]]]
-    [world
-     ["[0]" file]]]]
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try]]
+   [data
+    ["[0]" product]
+    ["[0]" text
+     [encoding
+      ["[0]" utf8]]]
+    [format
+     ["[0]" xml {"+" XML}]]
+    [collection
+     ["[0]" set {"+" Set}]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]]]
+   [world
+    ["[0]" file]]]]
+ [//
+  ["$[0]" profile]
   [//
-   ["$[0]" profile]
-   [//
-    [lux
-     [data
-      ["$[0]" binary]]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" // "_"
-     ["[1]" profile]
-     ["[1][0]" hash ("[1]#[0]" equivalence)]
-     ["[1][0]" pom]
-     [dependency
-      ["[1][0]" status]]
-     [repository
-      ["[1][0]" origin]]]]])
+   [lux
+    [data
+     ["$[0]" binary]]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1]" profile]
+    ["[1][0]" hash ("[1]#[0]" equivalence)]
+    ["[1][0]" pom]
+    [dependency
+     ["[1][0]" status]]
+    [repository
+     ["[1][0]" origin]]]]])
 
 (def: .public random
   (Random [//.Profile /.Package])
@@ -64,18 +64,18 @@
                    ($equivalence.spec /.equivalence (# ! each product.right ..random)))
             
             (_.cover [/.local?]
-                     (/.local? (with@ /.#origin {//origin.#Local "~/yolo"} package)))
+                     (/.local? (has /.#origin {//origin.#Local "~/yolo"} package)))
             (_.cover [/.remote?]
-                     (/.remote? (with@ /.#origin {//origin.#Remote "https://example.com"} package)))
+                     (/.remote? (has /.#origin {//origin.#Remote "https://example.com"} package)))
             (_.cover [/.local]
-                     (let [expected_pom (|> package (value@ /.#pom) product.left)
-                           expected_library (|> package (value@ /.#library) product.left)
+                     (let [expected_pom (|> package (the /.#pom) product.left)
+                           expected_library (|> package (the /.#library) product.left)
 
                            local (/.local expected_pom expected_library)
 
-                           [actual_pom binary_pom pom_status] (value@ /.#pom local)
-                           [actual_library library_status] (value@ /.#library local)]
-                       (and (case (value@ /.#origin local)
+                           [actual_pom binary_pom pom_status] (the /.#pom local)
+                           [actual_library library_status] (the /.#library local)]
+                       (and (case (the /.#origin local)
                               {//origin.#Local ""} true
                               _ false)
                             (let [expected_sha1 (//hash.sha-1 expected_library)
@@ -104,7 +104,7 @@
                                      _
                                      false))))))
             (_.cover [/.dependencies]
-                     (let [expected (value@ //.#dependencies profile)]
+                     (let [expected (the //.#dependencies profile)]
                        (case (/.dependencies package)
                          {try.#Success actual}
                          (# set.equivalence = expected actual)
@@ -112,7 +112,7 @@
                          {try.#Failure error}
                          false)))
             (_.cover [/.repositories]
-                     (let [expected (value@ //.#repositories profile)]
+                     (let [expected (the //.#repositories profile)]
                        (case (/.repositories package)
                          {try.#Success actual}
                          (# set.equivalence = expected actual)
-- 
cgit v1.2.3