aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2020-12-23 06:33:44 -0400
committerEduardo Julian2020-12-23 06:33:44 -0400
commitd29e091e98dabb8dfcf816899ada480ecbf7e357 (patch)
treea9d34c7fbb700cdb0c1f1226d377150614ce9914 /stdlib/source/spec/aedifex
parentcad959345afb8bf0bd1e5eefe6c63f136833b3ce (diff)
Refactored "export" common syntax.
Diffstat (limited to 'stdlib/source/spec/aedifex')
-rw-r--r--stdlib/source/spec/aedifex/repository.lux8
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]