diff options
| author | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
| commit | 7444deb1b80d469280fcb0684d91c13f752a86d6 (patch) | |
| tree | 132f8aa480dad400c20971f5e085876da8772b75 /stdlib/source/spec/aedifex/repository.lux | |
| parent | a02b7bf8ff358ccfa35b03272d28537aeac723ae (diff) | |
Re-named "_.claim" to "_.cover'".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 24 |
1 files changed, 12 insertions, 12 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)))) )))) |