diff options
Diffstat (limited to 'stdlib/source/test/aedifex/command/auto.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/command/auto.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index c46b474ac..9f3769b00 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -59,8 +59,8 @@ (if (n.= expected_runs actual_runs) (in {try.#Failure end_signal}) (do (try.with !) - [_ (at fs write dummy_file (at utf8.codec encoded (%.nat actual_runs))) - _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))] + [_ (of fs write dummy_file (of utf8.codec encoded (%.nat actual_runs))) + _ (of fs modify dummy_file (|> actual_runs .int instant.of_millis))] (in [shell.normal []])))))])) (def .public test @@ -68,7 +68,7 @@ (<| (_.covering /._) (do [! random.monad] [end_signal (random.alphabetic 5) - .let [/ (at file.default separator) + .let [/ (of file.default separator) [fs watcher] (watch.mock /)] program (random.and (random.alphabetic 5) @@ -76,7 +76,7 @@ target (random.alphabetic 5) source (random.alphabetic 5) .let [empty_profile (is Profile - (at ///.monoid identity)) + (of ///.monoid identity)) with_target (is (-> Profile Profile) (has ///.#target target)) with_program (is (-> Profile Profile) @@ -90,18 +90,18 @@ home (random.alphabetic 5) working_directory (random.alphabetic 5) - expected_runs (at ! each (|>> (n.% 10) (n.max 2)) random.nat) - dummy_path (at ! each (|>> (format source /)) (random.alphabetic 5)) + expected_runs (of ! each (|>> (n.% 10) (n.max 2)) random.nat) + dummy_path (of ! each (|>> (format source /)) (random.alphabetic 5)) [compiler resolution] $build.resolution] (all _.and (_.coverage [/.delay] (n.> 0 /.delay)) (in (do async.monad [verdict (do ///action.monad - [_ (at fs make_directory source) - _ (at fs write dummy_path (binary.empty 0)) + [_ (of fs make_directory source) + _ (of fs write dummy_path (binary.empty 0)) .let [[@runs command] (..command expected_runs end_signal fs dummy_path)] - _ (at watcher poll [])] + _ (of watcher poll [])] (do [! async.monad] [no_dangling_process! (|> profile (has ///.#lux compiler) @@ -111,7 +111,7 @@ fs (shell.async ($build.good_shell [])) resolution) - (at ! each (|>> (pipe.when + (of ! each (|>> (pipe.when {try.#Failure error} (same? end_signal error) @@ -120,7 +120,7 @@ correct_number_of_runs! (|> @runs atom.read! async.future - (at ! each (n.= expected_runs)))] + (of ! each (n.= expected_runs)))] (in {try.#Success (and correct_number_of_runs! no_dangling_process!)})))] (unit.coverage [/.do!] |