diff options
| author | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
| commit | 04c7f49a732380a2b9f72b1b937171b341c24323 (patch) | |
| tree | d54c92bf10665bba0ec4643746becce569604fb2 /stdlib/source/specification/aedifex | |
| parent | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (diff) | |
Better names for testing macros (plus better indentation).
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/aedifex/repository.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 3d4fdd69e..699a6cc52 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -36,22 +36,22 @@ .let [bad_uri (/remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)] bad_upload! (# subject upload bad_uri expected) bad_download! (# subject download bad_uri)] - (_.cover' [/.Repository] - (let [successfull_flow! - (case [good_upload! good_download!] - [{try.#Success _} {try.#Success actual}] - (# binary.equivalence = expected actual) + (_.coverage' [/.Repository] + (let [successfull_flow! + (case [good_upload! good_download!] + [{try.#Success _} {try.#Success actual}] + (# binary.equivalence = expected actual) - _ - false) + _ + false) - failed_flow! - (case [bad_upload! bad_download!] - [{try.#Failure _} {try.#Failure _}] - true + failed_flow! + (case [bad_upload! bad_download!] + [{try.#Failure _} {try.#Failure _}] + true - _ - false)] - (and successfull_flow! - failed_flow!)))) + _ + false)] + (and successfull_flow! + failed_flow!)))) )))) |