From d29e091e98dabb8dfcf816899ada480ecbf7e357 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 23 Dec 2020 06:33:44 -0400
Subject: Refactored "export" common syntax.

---
 stdlib/source/spec/aedifex/repository.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/spec/aedifex/repository.lux')

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]
-- 
cgit v1.2.3