From 02d27daeacac74785c2b0f4d1ce03d432377a36e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 29 Dec 2020 23:29:54 -0400
Subject: Unified repository abstraction for Aedifex.

---
 stdlib/source/test/aedifex/local.lux | 25 ++++++-------------------
 1 file changed, 6 insertions(+), 19 deletions(-)

(limited to 'stdlib/source/test/aedifex/local.lux')

diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index 7d0492815..6729d4485 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -3,35 +3,22 @@
    ["_" test (#+ Test)]
    [abstract
     [monad (#+ do)]]
-   [control
-    [concurrency
-     [promise (#+ Promise)]]]
    [data
     ["." text]]
    [math
-    ["." random (#+ Random)]]
-   [world
-    ["." file]]]
+    ["." random (#+ Random)]]]
   [//
    ["@." artifact]]
   {#program
-   ["." /
-    ["/#" // #_
-     ["#." artifact]]]})
+   ["." /]})
 
 (def: #export test
   Test
   (<| (_.covering /._)
       (do {! random.monad}
-        [sample @artifact.random
-         home (random.ascii/alpha 5)
-         #let [fs (: (file.System Promise)
-                     (file.mock (\ file.default separator)))]]
+        [sample @artifact.random]
         ($_ _.and
-            (_.cover [/.repository /.path]
-                     (let [path (/.path fs home sample)]
-                       (and (text.starts_with? (/.repository fs home)
-                                               path)
-                            (text.ends_with? (//artifact.path fs sample)
-                                             path))))
+            (_.cover [/.repository /.uri]
+                     (text.starts_with? /.repository
+                                        (/.uri sample)))
             ))))
-- 
cgit v1.2.3