From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 2 Dec 2022 19:33:00 -0400
Subject: Added some simple time-series handling machinery.

---
 stdlib/source/test/aedifex/command/test.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 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 31afea06b..f8f5bb935 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -51,7 +51,7 @@
          home (random.alphabetic 5)
          working_directory (random.alphabetic 5)
          .let [empty_profile (is Profile
-                                 (at ///.monoid identity))
+                                 (of ///.monoid identity))
                with_target (is (-> Profile Profile)
                                (has ///.#target target))
                with_test (is (-> Profile Profile)
@@ -62,17 +62,17 @@
                            with_target)]
          [compiler resolution] @build.resolution]
         (all _.and
-             (let [fs (file.mock (at file.default separator))
+             (let [fs (file.mock (of file.default separator))
                    console (@version.echo "")]
                (in (do async.monad
                      [verdict (do ///action.monad
                                 [_ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                           fs (shell.async (@build.good_shell [])) resolution
                                           (has ///.#lux compiler profile))
-                                 build_start (at console read_line [])
-                                 build_end (at console read_line [])
-                                 test_start (at console read_line [])
-                                 test_end (at console read_line [])]
+                                 build_start (of console read_line [])
+                                 build_end (of console read_line [])
+                                 test_start (of console read_line [])
+                                 test_end (of console read_line [])]
                                 (in (and (and (text#= //build.start build_start)
                                               (text#= //build.success build_end))
                                          (and (text#= /.start test_start)
@@ -80,7 +80,7 @@
                      (unit.coverage [/.do!
                                      /.start /.success]
                        (try.else false verdict)))))
-             (let [fs (file.mock (at file.default separator))
+             (let [fs (file.mock (of file.default separator))
                    console (@version.echo "")]
                (in (do async.monad
                      [verdict (do ///action.monad
@@ -105,10 +105,10 @@
                                  _ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                           fs (shell.async bad_shell) resolution
                                           (has ///.#lux compiler profile))
-                                 build_start (at console read_line [])
-                                 build_end (at console read_line [])
-                                 test_start (at console read_line [])
-                                 test_end (at console read_line [])]
+                                 build_start (of console read_line [])
+                                 build_end (of console read_line [])
+                                 test_start (of console read_line [])
+                                 test_end (of console read_line [])]
                                 (in (and (and (text#= //build.start build_start)
                                               (text#= //build.success build_end))
                                          (and (text#= /.start test_start)
-- 
cgit v1.2.3