diff options
Diffstat (limited to 'stdlib/source/library/lux/test/property.lux')
| -rw-r--r-- | stdlib/source/library/lux/test/property.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/test/property.lux b/stdlib/source/library/lux/test/property.lux index 3223d7c06..592c8fce3 100644 --- a/stdlib/source/library/lux/test/property.lux +++ b/stdlib/source/library/lux/test/property.lux @@ -52,7 +52,7 @@ (-> Test Test Test) (do [! random.monad] [left left] - (at ! each (//.and left) right))) + (of ! each (//.and left) right))) (def .public context (-> Text Test Test) @@ -148,7 +148,7 @@ (the tally.#actual tally)) report (is (-> Coverage Text) (|>> set.list - (list.sorted (at symbol.order <)) + (list.sorted (of symbol.order <)) (exception.listing %.symbol))) expected_coverage (set.size (the tally.#expected tally)) unexpected_coverage (set.size unexpected) @@ -215,7 +215,7 @@ {.#Some console} (console.write_line report console)) <else>))] - (async.future (at environment.default exit + (async.future (of environment.default exit (when (the tally.#failures tally) 0 ..success_exit_code _ ..failure_exit_code))))) @@ -223,12 +223,12 @@ (def .public coverage (syntax (_ [coverage <code>.any condition <code>.any]) - (in (list (` (at random.monad (,' in) (//.coverage (, coverage) (, condition)))))))) + (in (list (` (of random.monad (,' in) (//.coverage (, coverage) (, condition)))))))) (def .public for (syntax (_ [coverage <code>.any test <code>.any]) - (in (list (` (at random.functor + (in (list (` (of random.functor (,' each) (|>> (//.for (, coverage))) (, test))))))) @@ -236,7 +236,7 @@ (def .public covering (syntax (_ [module <code>.any test <code>.any]) - (in (list (` (at random.functor + (in (list (` (of random.functor (,' each) (|>> (//.covering (, module))) (, test))))))) |