From 04c7f49a732380a2b9f72b1b937171b341c24323 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Apr 2022 03:03:46 -0400
Subject: Better names for testing macros (plus better indentation).

---
 stdlib/source/test/aedifex/hash.lux | 42 ++++++++++++++++++-------------------
 1 file changed, 21 insertions(+), 21 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 804708085..339c7c3b4 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -48,21 +48,21 @@
                            (~~ (template [<hash> <constructor> <exception>]
                                  [(do random.monad
                                     [expected (..random <hash>)]
-                                    (_.cover [<hash> <constructor> <exception>]
-                                             (and (case (<constructor> (/.data expected))
-                                                    {try.#Success actual}
-                                                    (# /.equivalence = expected actual)
+                                    (_.coverage [<hash> <constructor> <exception>]
+                                      (and (case (<constructor> (/.data expected))
+                                             {try.#Success actual}
+                                             (# /.equivalence = expected actual)
 
-                                                    {try.#Failure error}
-                                                    false)
-                                                  (case (<constructor> (# binary.monoid composite
-                                                                          (/.data expected)
-                                                                          (/.data expected)))
-                                                    {try.#Success actual}
-                                                    false
+                                             {try.#Failure error}
+                                             false)
+                                           (case (<constructor> (# binary.monoid composite
+                                                                   (/.data expected)
+                                                                   (/.data expected)))
+                                             {try.#Success actual}
+                                             false
 
-                                                    {try.#Failure error}
-                                                    (exception.match? <exception> error)))))]
+                                             {try.#Failure error}
+                                             (exception.match? <exception> error)))))]
 
                                  [/.sha-1 /.as_sha-1 /.not_a_sha-1]
                                  [/.md5 /.as_md5 /.not_a_md5]
@@ -79,15 +79,15 @@
                            (~~ (template [<codec> <hash>]
                                  [(do random.monad
                                     [expected (..random <hash>)]
-                                    (_.cover [<codec>]
-                                             (case (# <codec> decoded
-                                                      (format (# <codec> encoded expected)
-                                                              "AABBCC"))
-                                               {try.#Success actual}
-                                               false
+                                    (_.coverage [<codec>]
+                                      (case (# <codec> decoded
+                                               (format (# <codec> encoded expected)
+                                                       "AABBCC"))
+                                        {try.#Success actual}
+                                        false
 
-                                               {try.#Failure error}
-                                               (exception.match? /.not_a_hash error))))]
+                                        {try.#Failure error}
+                                        (exception.match? /.not_a_hash error))))]
 
                                  [/.sha-1_codec /.sha-1]
                                  [/.md5_codec /.md5]
-- 
cgit v1.2.3