diff options
Diffstat (limited to 'stdlib/source/spec')
| -rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 24 | ||||
| -rw-r--r-- | stdlib/source/spec/lux/world/console.lux | 40 | ||||
| -rw-r--r-- | stdlib/source/spec/lux/world/shell.lux | 62 |
3 files changed, 63 insertions, 63 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux index 613bbd407..a660722d9 100644 --- a/stdlib/source/spec/aedifex/repository.lux +++ b/stdlib/source/spec/aedifex/repository.lux @@ -33,17 +33,17 @@ upload!/bad (:: subject upload invalid-identity invalid-artifact //artifact/extension.lux-library expected) download!/bad (:: subject download invalid-artifact //artifact/extension.lux-library)] - (_.claim [/.Repository] - (and (case [upload!/good download!/good] - [(#try.Success _) (#try.Success actual)] - (:: binary.equivalence = expected actual) + (_.cover' [/.Repository] + (and (case [upload!/good download!/good] + [(#try.Success _) (#try.Success actual)] + (:: binary.equivalence = expected actual) - _ - false) - (case [upload!/bad download!/bad] - [(#try.Failure _) (#try.Failure _)] - true - - _ - false)))) + _ + false) + (case [upload!/bad download!/bad] + [(#try.Failure _) (#try.Failure _)] + true + + _ + false)))) )))) diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux index 93d2c7417..5257785f0 100644 --- a/stdlib/source/spec/lux/world/console.lux +++ b/stdlib/source/spec/lux/world/console.lux @@ -28,25 +28,25 @@ ?close/good (!.use (:: console close) []) ?close/bad (!.use (:: console close) [])] ($_ _.and' - (_.claim [/.Can-Read] - (case [?read ?read-line] - [(#try.Success _) (#try.Success _)] - true + (_.cover' [/.Can-Read] + (case [?read ?read-line] + [(#try.Success _) (#try.Success _)] + true - _ - false)) - (_.claim [/.Can-Write] - (case ?write - (#try.Success _) - true - - _ - false)) - (_.claim [/.Can-Close] - (case [?close/good ?close/bad] - [(#try.Success _) (#try.Failure _)] - true - - _ - false)) + _ + false)) + (_.cover' [/.Can-Write] + (case ?write + (#try.Success _) + true + + _ + false)) + (_.cover' [/.Can-Close] + (case [?close/good ?close/bad] + [(#try.Success _) (#try.Failure _)] + true + + _ + false)) )))))) diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/spec/lux/world/shell.lux index e0eacbee6..badc674b6 100644 --- a/stdlib/source/spec/lux/world/shell.lux +++ b/stdlib/source/spec/lux/world/shell.lux @@ -41,20 +41,20 @@ [?read (!.use (:: process read) []) ?await (!.use (:: process await) [])] ($_ _.and' - (_.claim [/.Can-Read] - (case ?read - (#try.Success actual) - (text\= expected actual) - - (#try.Failure error) - false)) - (_.claim [/.Can-Wait /.Exit /.normal] - (case ?await - (#try.Success exit) - (i.= /.normal exit) - - (#try.Failure error) - false)) + (_.cover' [/.Can-Read] + (case ?read + (#try.Success actual) + (text\= expected actual) + + (#try.Failure error) + false)) + (_.cover' [/.Can-Wait /.Exit /.normal] + (case ?await + (#try.Success exit) + (i.= /.normal exit) + + (#try.Failure error) + false)) ))) (def: (destroy-test process) @@ -62,19 +62,19 @@ (do promise.monad [?destroy (!.use (:: process destroy) []) ?await (!.use (:: process await) [])] - (_.claim [/.Can-Destroy] - (and (case ?destroy - (#try.Success _) - true - - (#try.Failure error) - false) - (case ?await - (#try.Success _) - false - - (#try.Failure error) - true))))) + (_.cover' [/.Can-Destroy] + (and (case ?destroy + (#try.Success _) + true + + (#try.Failure error) + false) + (case ?await + (#try.Success _) + false + + (#try.Failure error) + true))))) (with-expansions [<shell-coverage> (as-is [/.Can-Execute /.Command /.Argument])] (def: #export (spec shell) @@ -89,11 +89,11 @@ (case [?echo ?sleep] [(#try.Success echo) (#try.Success sleep)] ($_ _.and' - (_.claim <shell-coverage> - true) + (_.cover' <shell-coverage> + true) (..read-test message echo) (..destroy-test sleep)) _ - (_.claim <shell-coverage> - false)))))))) + (_.cover' <shell-coverage> + false)))))))) |