From 14287585025b2d8fff1991691def9e643b039ac8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 10 Dec 2020 00:15:15 -0400
Subject: Re-named "with-cover" to "for".

---
 stdlib/source/test/aedifex/artifact.lux | 34 ++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 6ba31f9b7..a718d51f6 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -34,21 +34,21 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Group /.Name /.Version
-                     /.Artifact]
-        ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec /.equivalence ..random))
+      (_.for [/.Group /.Name /.Version
+              /.Artifact]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
 
-            (do random.monad
-              [sample ..random
-               #let [fs (: (file.System Promise)
-                           (file.mock (\ file.default separator)))]]
-              (_.cover [/.uri /.path]
-                       (|> (/.path fs sample)
-                           (text.replace-all uri.separator (\ fs separator))
-                           (text\= (/.uri sample)))))
-            
-            /type.test
-            /extension.test
-            ))))
+                 (do random.monad
+                   [sample ..random
+                    #let [fs (: (file.System Promise)
+                                (file.mock (\ file.default separator)))]]
+                   (_.cover [/.uri /.path]
+                            (|> (/.path fs sample)
+                                (text.replace-all uri.separator (\ fs separator))
+                                (text\= (/.uri sample)))))
+                 
+                 /type.test
+                 /extension.test
+                 ))))
-- 
cgit v1.2.3