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/build.lux | 82 ++++++++++++++--------------
 1 file changed, 41 insertions(+), 41 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 4237bc8af..0b8eac768 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -1,41 +1,41 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     [pipe {"+" case>}]
-     [io {"+" IO}]
-     ["[0]" try]
-     ["[0]" exception]
-     [concurrency
-      ["[0]" async {"+" Async}]]
-     [parser
-      ["[0]" environment]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" dictionary]]]
-    [math
-     ["[0]" random {"+" Random}]]
-    [world
-     ["[0]" file]
-     ["[0]" shell {"+" Shell}]
-     ["[0]" program]]]]
-  ["[0]" // "_"
-   ["@[0]" version]
-   ["$/[1]" // "_"
-    ["[1][0]" package]]]
-  [\\program
-   ["[0]" /
-    ["//[1]" /// "_"
-     ["[1]" profile {"+" Profile}]
-     ["[1][0]" action]
-     ["[1][0]" artifact
-      ["[1]/[0]" type]]
-     ["[1][0]" dependency {"+" Dependency}
-      ["[1]/[0]" resolution {"+" Resolution}]]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    [pipe {"+" case>}]
+    [io {"+" IO}]
+    ["[0]" try]
+    ["[0]" exception]
+    [concurrency
+     ["[0]" async {"+" Async}]]
+    [parser
+     ["[0]" environment]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" dictionary]]]
+   [math
+    ["[0]" random {"+" Random}]]
+   [world
+    ["[0]" file]
+    ["[0]" shell {"+" Shell}]
+    ["[0]" program]]]]
+ ["[0]" // "_"
+  ["@[0]" version]
+  ["$/[1]" // "_"
+   ["[1][0]" package]]]
+ [\\program
+  ["[0]" /
+   ["//[1]" /// "_"
+    ["[1]" profile {"+" Profile}]
+    ["[1][0]" action]
+    ["[1][0]" artifact
+     ["[1]/[0]" type]]
+    ["[1][0]" dependency {"+" Dependency}
+     ["[1]/[0]" resolution {"+" Resolution}]]]]])
 
 (def: .public good_shell
   (-> Any (Shell IO))
@@ -151,9 +151,9 @@
          .let [empty_profile (: Profile
                                 (# ///.monoid identity))
                with_target (: (-> Profile Profile)
-                              (with@ ///.#target target))
+                              (has ///.#target target))
                with_program (: (-> Profile Profile)
-                               (with@ ///.#program {.#Some program}))
+                               (has ///.#program {.#Some program}))
                
                profile (|> empty_profile
                            with_program
@@ -185,7 +185,7 @@
                     [verdict (do ///action.monad
                                [_ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                          fs shell resolution
-                                         (with@ ///.#compiler compiler profile))
+                                         (has ///.#compiler compiler profile))
                                 start (# console read_line [])
                                 end (# console read_line [])]
                                (in (and (text#= /.start start)
@@ -207,7 +207,7 @@
                     [verdict (do ///action.monad
                                [_ (/.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))
                                 start (# console read_line [])
                                 end (# console read_line [])]
                                (in (and (text#= /.start start)
-- 
cgit v1.2.3