diff options
| author | Eduardo Julian | 2020-12-23 06:33:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-23 06:33:44 -0400 |
| commit | d29e091e98dabb8dfcf816899ada480ecbf7e357 (patch) | |
| tree | a9d34c7fbb700cdb0c1f1226d377150614ce9914 /stdlib/source/spec/aedifex | |
| parent | cad959345afb8bf0bd1e5eefe6c63f136833b3ce (diff) | |
Refactored "export" common syntax.
Diffstat (limited to 'stdlib/source/spec/aedifex')
| -rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux index acea123bc..0c492ea08 100644 --- a/stdlib/source/spec/aedifex/repository.lux +++ b/stdlib/source/spec/aedifex/repository.lux @@ -22,18 +22,18 @@ ["_." // #_ ["#." artifact]]}) -(def: #export (spec valid-identity valid-artifact invalid-identity invalid-artifact subject) - (-> /.Identity Artifact /.Identity Artifact (/.Repository Promise) Test) +(def: #export (spec valid-artifact invalid-artifact subject) + (-> Artifact Artifact (/.Repository Promise) Test) (do random.monad [expected (_binary.random 100)] (wrap ($_ _.and' (do promise.monad [#let [uri/good (/.uri valid-artifact //artifact/extension.lux-library)] - upload!/good (\ subject upload valid-identity uri/good expected) + upload!/good (\ subject upload uri/good expected) download!/good (\ subject download uri/good) #let [uri/bad (/.uri invalid-artifact //artifact/extension.lux-library)] - upload!/bad (\ subject upload invalid-identity uri/bad expected) + upload!/bad (\ subject upload uri/bad expected) download!/bad (\ subject download uri/bad)] (_.cover' [/.Repository] (and (case [upload!/good download!/good] |