diff options
Diffstat (limited to 'stdlib/source/test/aedifex/command/test.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/command/test.lux | 22 |
1 files changed, 11 insertions, 11 deletions
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) |