diff options
| author | Eduardo Julian | 2021-07-26 01:45:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-26 01:45:57 -0400 |
| commit | e64b6d0114c26a455e19a416b5f02a4d19dd711f (patch) | |
| tree | 020e426a40aefebf6b052e799b33c40fe4d8a80c /stdlib/source/specification/aedifex | |
| parent | 62b3abfcc014ca1c19d62aacdd497f6a250b372c (diff) | |
Re-named Promise to Async.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/aedifex/repository.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index de9a05fde..8a2965d51 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -7,7 +7,7 @@ [control ["." try (#+ Try)] [concurrency - ["." promise (#+ Promise)]]] + ["." async (#+ Async)]]] [data ["." binary ["_#" \\test]]] @@ -24,11 +24,11 @@ ["#." artifact]]]) (def: #export (spec valid_artifact invalid_artifact subject) - (-> Artifact Artifact (/.Repository Promise) Test) + (-> Artifact Artifact (/.Repository Async) Test) (do random.monad [expected (_binary.random 100)] (wrap ($_ _.and' - (do promise.monad + (do async.monad [#let [good_uri (/remote.uri (get@ #//artifact.version valid_artifact) valid_artifact //artifact/extension.lux_library)] good_upload! (\ subject upload good_uri expected) good_download! (\ subject download good_uri) |