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/command/test.lux | 84 ++++++++++++++---------------
 1 file changed, 42 insertions(+), 42 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 7be97a8bb..e992f87bc 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -1,43 +1,43 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try]
-     ["[0]" exception]
-     [concurrency
-      ["[0]" async]]
-     [parser
-      ["[0]" environment]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" dictionary]
-      ["[0]" list]]]
-    [math
-     ["[0]" random]]
-    [world
-     ["[0]" file]
-     ["[0]" shell]
-     ["[0]" program]]]]
-  ["[0]" // "_"
-   ["@[0]" version]
-   ["@[0]" build]
-   ["$/[1]" // "_"
-    ["[1][0]" package]]]
-  [\\program
-   ["[0]" /
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try]
+    ["[0]" exception]
+    [concurrency
+     ["[0]" async]]
+    [parser
+     ["[0]" environment]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" dictionary]
+     ["[0]" list]]]
+   [math
+    ["[0]" random]]
+   [world
+    ["[0]" file]
+    ["[0]" shell]
+    ["[0]" program]]]]
+ ["[0]" // "_"
+  ["@[0]" version]
+  ["@[0]" build]
+  ["$/[1]" // "_"
+   ["[1][0]" package]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1][0]" build]
     ["/[1]" // "_"
-     ["[1][0]" build]
-     ["/[1]" // "_"
-      ["[1]" profile {"+" Profile}]
-      ["[1][0]" action]
-      ["[1][0]" artifact
-       ["[1]/[0]" type]]
-      ["[1][0]" dependency
-       ["[1]/[0]" resolution]]]]]])
+     ["[1]" profile {"+" Profile}]
+     ["[1][0]" action]
+     ["[1][0]" artifact
+      ["[1]/[0]" type]]
+     ["[1][0]" dependency
+      ["[1]/[0]" resolution]]]]]])
 
 (def: .public test
   Test
@@ -50,9 +50,9 @@
          .let [empty_profile (: Profile
                                 (# ///.monoid identity))
                with_target (: (-> Profile Profile)
-                              (with@ ///.#target target))
+                              (has ///.#target target))
                with_test (: (-> Profile Profile)
-                            (with@ ///.#test {.#Some test}))
+                            (has ///.#test {.#Some test}))
                
                profile (|> empty_profile
                            with_test
@@ -65,7 +65,7 @@
                     [verdict (do ///action.monad
                                [_ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                          fs (shell.async (@build.good_shell [])) resolution
-                                         (with@ ///.#compiler compiler profile))
+                                         (has ///.#compiler compiler profile))
                                 build_start (# console read_line [])
                                 build_end (# console read_line [])
                                 test_start (# console read_line [])
@@ -101,7 +101,7 @@
                                                  [])]
                                 _ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                          fs (shell.async bad_shell) resolution
-                                         (with@ ///.#compiler compiler profile))
+                                         (has ///.#compiler compiler profile))
                                 build_start (# console read_line [])
                                 build_end (# console read_line [])
                                 test_start (# console read_line [])
-- 
cgit v1.2.3