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'".

---
 stdlib/source/test/aedifex/command/build.lux | 61 ++++++++++++----------------
 1 file changed, 25 insertions(+), 36 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 5285b7548..ad72b47c4 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -2,8 +2,7 @@
   [lux #*
    ["_" test (#+ Test)]
    [abstract
-    [monad (#+ do)]
-    ["." predicate]]
+    [monad (#+ do)]]
    [control
     ["." try]
     ["." exception]
@@ -12,30 +11,20 @@
     [parser
      ["." environment]]]
    [data
-    [text
-     ["%" format (#+ format)]]
     [collection
-     ["." dictionary]
-     ["." set]]]
+     ["." dictionary]]]
    [math
-    ["." random (#+ Random)]]
+    ["." random]]
    [world
     ["." file]
     ["." shell]]]
   ["$." /// #_
-   ["#." package]
-   ["#." artifact]
-   ["#." dependency #_
-    ["#/." resolution]]]
+   ["#." package]]
   {#program
    ["." /
     ["//#" /// #_
      ["#" profile (#+ Profile)]
      ["#." action]
-     ["#." pom]
-     ["#." package]
-     ["#." cache]
-     ["#." repository]
      ["#." artifact
       ["#/." type]]
      ["#." dependency
@@ -96,32 +85,32 @@
             (wrap (do promise.monad
                     [outcome (/.do! environment fs shell ///dependency/resolution.empty
                                     (with-target empty-profile))]
-                    (_.claim [/.no-specified-program]
-                             (case outcome
-                               (#try.Success _)
-                               false
+                    (_.cover' [/.no-specified-program]
+                              (case outcome
+                                (#try.Success _)
+                                false
 
-                               (#try.Failure error)
-                               (exception.match? /.no-specified-program error)))))
+                                (#try.Failure error)
+                                (exception.match? /.no-specified-program error)))))
             (wrap (do promise.monad
                     [outcome (/.do! environment fs shell ///dependency/resolution.empty
                                     (with-program empty-profile))]
-                    (_.claim [/.no-specified-target]
-                             (case outcome
-                               (#try.Success _)
-                               false
+                    (_.cover' [/.no-specified-target]
+                              (case outcome
+                                (#try.Success _)
+                                false
 
-                               (#try.Failure error)
-                               (exception.match? /.no-specified-target error)))))
+                                (#try.Failure error)
+                                (exception.match? /.no-specified-target error)))))
             (wrap (do promise.monad
                     [outcome (/.do! environment fs shell ///dependency/resolution.empty profile)]
-                    (_.claim [/.Compiler /.no-available-compiler]
-                             (case outcome
-                               (#try.Success _)
-                               false
+                    (_.cover' [/.Compiler /.no-available-compiler]
+                              (case outcome
+                                (#try.Success _)
+                                false
 
-                               (#try.Failure error)
-                               (exception.match? /.no-available-compiler error)))))
+                                (#try.Failure error)
+                                (exception.match? /.no-available-compiler error)))))
             (do !
               [lux-version (random.ascii/alpha 5)
                [_ compiler-package] $///package.random
@@ -141,7 +130,7 @@
                                                        (dictionary.put compiler-dependency compiler-package))]
                                   _ (/.do! environment fs shell resolution profile)]
                                  (wrap true))]
-                      (_.claim [/.do!
-                                /.lux-group /.jvm-compiler-name /.js-compiler-name]
-                               (try.default false verdict)))))
+                      (_.cover' [/.do!
+                                 /.lux-group /.jvm-compiler-name /.js-compiler-name]
+                                (try.default false verdict)))))
             ))))
-- 
cgit v1.2.3