diff options
| author | Eduardo Julian | 2020-12-22 21:42:17 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-22 21:42:17 -0400 |
| commit | cad959345afb8bf0bd1e5eefe6c63f136833b3ce (patch) | |
| tree | 698a0189c6d30109a5ef27d67ab61e037abb011e /stdlib/source/spec/aedifex/repository.lux | |
| parent | 68b1dd82f23d6648ac3d9075a8f84b0174392945 (diff) | |
Properly naming unicode Block type.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux index 77c453f4b..acea123bc 100644 --- a/stdlib/source/spec/aedifex/repository.lux +++ b/stdlib/source/spec/aedifex/repository.lux @@ -28,11 +28,13 @@ [expected (_binary.random 100)] (wrap ($_ _.and' (do promise.monad - [upload!/good (\ subject upload valid-identity valid-artifact //artifact/extension.lux-library expected) - download!/good (\ subject download valid-artifact //artifact/extension.lux-library) + [#let [uri/good (/.uri valid-artifact //artifact/extension.lux-library)] + upload!/good (\ subject upload valid-identity uri/good expected) + download!/good (\ subject download uri/good) - upload!/bad (\ subject upload invalid-identity invalid-artifact //artifact/extension.lux-library expected) - download!/bad (\ subject download invalid-artifact //artifact/extension.lux-library)] + #let [uri/bad (/.uri invalid-artifact //artifact/extension.lux-library)] + upload!/bad (\ subject upload invalid-identity uri/bad expected) + download!/bad (\ subject download uri/bad)] (_.cover' [/.Repository] (and (case [upload!/good download!/good] [(#try.Success _) (#try.Success actual)] |