From 41495e32d3f5f88b5f189f48dd4fdbfa883c6ac0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 18:27:37 -0400
Subject: De-sigil-ification: >

---
 stdlib/source/test/aedifex/cli.lux | 70 ++++++++++++++++++++------------------
 1 file changed, 36 insertions(+), 34 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 85e8e7bc5..0dd70ae6d 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     [pipe {"+" case>}]
-     ["[0]" try]
-     [parser
-      ["[0]" cli]]]
-    [data
-     ["[0]" text]
-     [collection
-      ["[0]" list]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
-  [\\program
-   ["[0]" /
-    ["/[1]" // "_"
-     ["[1]" profile]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" pipe]
+    ["[0]" try]
+    [parser
+     ["[0]" cli]]]
+   [data
+    ["[0]" text]
+    [collection
+     ["[0]" list]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1]" profile]]]])
 
 (def: compilation
   (Random /.Compilation)
@@ -76,12 +76,13 @@
             (|> expected
                 ..format
                 (cli.result /.command)
-                (case> {try.#Success [names actual]}
-                       (and (# (list.equivalence text.equivalence) = (list //.default) names)
-                            (# /.equivalence = expected actual))
-                       
-                       {try.#Failure error}
-                       false)))))
+                (pipe.case
+                  {try.#Success [names actual]}
+                  (and (# (list.equivalence text.equivalence) = (list //.default) names)
+                       (# /.equivalence = expected actual))
+                  
+                  {try.#Failure error}
+                  false)))))
 
 (def: with_profile
   Test
@@ -93,12 +94,13 @@
                 ..format
                 (list& "with" expected_profile)
                 (cli.result /.command)
-                (case> {try.#Success [actual_profile actual_command]}
-                       (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
-                            (# /.equivalence = expected_command actual_command))
-                       
-                       {try.#Failure error}
-                       false)))))
+                (pipe.case
+                  {try.#Success [actual_profile actual_command]}
+                  (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile)
+                       (# /.equivalence = expected_command actual_command))
+                  
+                  {try.#Failure error}
+                  false)))))
 
 (def: .public test
   Test
-- 
cgit v1.2.3