From 7444deb1b80d469280fcb0684d91c13f752a86d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 21:40:29 -0400
Subject: Re-named "_.claim" to "_.cover'".

---
 .../source/test/aedifex/dependency/resolution.lux  | 76 +++++++++++-----------
 1 file changed, 38 insertions(+), 38 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 0b2fbe2e2..8bd013125 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -164,28 +164,28 @@
                [actual-package (/.one (///repository.mock good [])
                                       {#///dependency.artifact expected-artifact
                                        #///dependency.type ///artifact/type.lux-library})]
-               (_.claim [/.one]
-                        (case actual-package
-                          (#try.Success actual-package)
-                          (:: ///package.equivalence =
-                              (set@ #///package.origin #///package.Remote expected-package)
-                              actual-package)
-                          
-                          (#try.Failure _)
-                          false))))
+               (_.cover' [/.one]
+                         (case actual-package
+                           (#try.Success actual-package)
+                           (:: ///package.equivalence =
+                               (set@ #///package.origin #///package.Remote expected-package)
+                               actual-package)
+                           
+                           (#try.Failure _)
+                           false))))
             (~~ (template [<exception> <bad>]
                   [(wrap
                     (do promise.monad
                       [actual-package (/.one (///repository.mock <bad> [])
                                              {#///dependency.artifact expected-artifact
                                               #///dependency.type ///artifact/type.lux-library})]
-                      (_.claim [<exception>]
-                               (case actual-package
-                                 (#try.Failure error)
-                                 (exception.match? <exception> error)
+                      (_.cover' [<exception>]
+                                (case actual-package
+                                  (#try.Failure error)
+                                  (exception.match? <exception> error)
 
-                                 (#try.Success _)
-                                 false))))]
+                                  (#try.Success _)
+                                  false))))]
 
                   [/.sha-1-does-not-match bad-sha-1]
                   [/.md5-does-not-match bad-md5]
@@ -271,28 +271,28 @@
                                         (///repository.mock good []))
                                   {#///dependency.artifact expected-artifact
                                    #///dependency.type ///artifact/type.lux-library})]
-           (_.claim [/.any]
-                    (case actual-package
-                      (#try.Success actual-package)
-                      (:: ///package.equivalence =
-                          (set@ #///package.origin #///package.Remote expected-package)
-                          actual-package)
-                      
-                      (#try.Failure _)
-                      false))))
+           (_.cover' [/.any]
+                     (case actual-package
+                       (#try.Success actual-package)
+                       (:: ///package.equivalence =
+                           (set@ #///package.origin #///package.Remote expected-package)
+                           actual-package)
+                       
+                       (#try.Failure _)
+                       false))))
         (wrap
          (do promise.monad
            [actual-package (/.any (list (///repository.mock bad-sha-1 [])
                                         (///repository.mock bad-md5 []))
                                   {#///dependency.artifact expected-artifact
                                    #///dependency.type ///artifact/type.lux-library})]
-           (_.claim [/.cannot-resolve]
-                    (case actual-package
-                      (#try.Failure error)
-                      (exception.match? /.cannot-resolve error)
+           (_.cover' [/.cannot-resolve]
+                     (case actual-package
+                       (#try.Failure error)
+                       (exception.match? /.cannot-resolve error)
 
-                      (#try.Success _)
-                      false))))
+                       (#try.Success _)
+                       false))))
         )))
 
 (def: all
@@ -343,15 +343,15 @@
                                     (///repository.mock (..single ignored-artifact ignored-package) []))
                               (list depender)
                               /.empty)]
-           (_.claim [/.all]
-                    (case resolution
-                      (#try.Success resolution)
-                      (and (dictionary.contains? depender resolution)
-                           (dictionary.contains? dependee resolution)
-                           (not (dictionary.contains? ignored resolution)))
+           (_.cover' [/.all]
+                     (case resolution
+                       (#try.Success resolution)
+                       (and (dictionary.contains? depender resolution)
+                            (dictionary.contains? dependee resolution)
+                            (not (dictionary.contains? ignored resolution)))
 
-                      (#try.Failure error)
-                      false))))
+                       (#try.Failure error)
+                       false))))
         )))
 
 (def: #export test
-- 
cgit v1.2.3