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/extension.lux | 34 +++++++++++------------
 1 file changed, 17 insertions(+), 17 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index e098b0f9c..cd695ae93 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -20,21 +20,21 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Extension]
-        ($_ _.and
-            (_.cover [/.lux-library /.jvm-library /.pom
-                      /.sha-1 /.md5]
-                     (let [options (list /.lux-library /.jvm-library /.pom /.sha-1 /.md5)
-                           uniques (set.from-list text.hash options)]
-                       (n.= (list.size options)
-                            (set.size uniques))))
-            (_.cover [/.extension]
-                     (`` (and (~~ (template [<type> <extension>]
-                                    [(text\= <extension>
-                                             (/.extension <type>))]
+      (_.for [/.Extension]
+             ($_ _.and
+                 (_.cover [/.lux-library /.jvm-library /.pom
+                           /.sha-1 /.md5]
+                          (let [options (list /.lux-library /.jvm-library /.pom /.sha-1 /.md5)
+                                uniques (set.from-list text.hash options)]
+                            (n.= (list.size options)
+                                 (set.size uniques))))
+                 (_.cover [/.extension]
+                          (`` (and (~~ (template [<type> <extension>]
+                                         [(text\= <extension>
+                                                  (/.extension <type>))]
 
-                                    [//.lux-library /.lux-library]
-                                    [//.jvm-library /.jvm-library]
-                                    [//.pom /.pom]
-                                    )))))
-            ))))
+                                         [//.lux-library /.lux-library]
+                                         [//.jvm-library /.jvm-library]
+                                         [//.pom /.pom]
+                                         )))))
+                 ))))
-- 
cgit v1.2.3