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/pom.lux | 50 +++++++++++++++++++-------------------
 1 file changed, 25 insertions(+), 25 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index 5f5e351d9..e6d5340e2 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try]
-     ["[0]" exception]
-     ["<>" parser
-      ["<[0]>" xml]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [format
-      ["[0]" xml]]]
-    [math
-     ["[0]" random]]]]
-  [//
-   ["@[0]" profile]]
-  [\\program
-   ["[0]" /
-    ["/[1]" // "_"
-     ["[1]" profile]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try]
+    ["[0]" exception]
+    ["<>" parser
+     ["<[0]>" xml]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [format
+     ["[0]" xml]]]
+   [math
+    ["[0]" random]]]]
+ [//
+  ["@[0]" profile]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1]" profile]]]])
 
 (def: .public test
   Test
@@ -34,15 +34,15 @@
             [expected @profile.random]
             (_.cover [/.write /.parser]
                      (case [(/.write expected)
-                            (value@ //.#identity expected)]
+                            (the //.#identity expected)]
                        [{try.#Success pom}
                         {.#Some _}]
                        (case (<xml>.result /.parser (list pom))
                          {try.#Success actual}
                          (# //.equivalence =
                             (|> (# //.monoid identity)
-                                (with@ //.#dependencies (value@ //.#dependencies expected))
-                                (with@ //.#repositories (value@ //.#repositories expected)))
+                                (has //.#dependencies (the //.#dependencies expected))
+                                (has //.#repositories (the //.#repositories expected)))
                             actual)
 
                          {try.#Failure error}
-- 
cgit v1.2.3