From 36303d6cb2ce3ab9e36d045b9516c997bd461862 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 24 Aug 2021 05:23:45 -0400
Subject: Outsourced the syntax for labelled type definitions to macros.

---
 licentia/source/test/licentia.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'licentia/source/test/licentia.lux')

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index e9a1da86e..ec8fc04a9 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -50,7 +50,7 @@
     [start (random.filter (|>> (n.= n\top) not)
                           random.nat)
      #let [wiggle_room (n.- start n\top)]
-     end (\ ! map
+     end (\ ! each
             (|>> (n.% wiggle_room) (n.max 1))
             random.nat)]
     (wrap {#time.start start
@@ -109,7 +109,7 @@
 (def: (variable_list max_size gen_element)
   (All [a] (-> Nat (Random a) (Random (List a))))
   (do {! random.monad}
-    [amount (\ ! map (n.% (n.max 1 max_size))
+    [amount (\ ! each (n.% (n.max 1 max_size))
                random.nat)]
     (random.list amount gen_element)))
 
@@ -247,14 +247,14 @@
       (_.test "The attribution phrase is present."
               (|> attribution
                   (value@ #license.phrase)
-                  (maybe\map present?)
+                  (maybe\each present?)
                   (maybe.default true)))
       (_.test "The attribution URL is present."
               (present? (value@ #license.url attribution)))
       (_.test "The attribution image is present."
               (|> attribution
                   (value@ #license.image)
-                  (maybe\map present?)
+                  (maybe\each present?)
                   (maybe.default true)))
       ))
 
@@ -315,7 +315,7 @@
                                                                 bit.yes)
                                      every_entity_is_mentioned? (|> black_list
                                                                     (value@ #license.entities)
-                                                                    (list\map black_list.entity)
+                                                                    (list\each black_list.entity)
                                                                     (list.every? present?))]
                                  (and black_list_is_justified?
                                       every_entity_is_mentioned?)))
-- 
cgit v1.2.3