From a02b7bf8ff358ccfa35b03272d28537aeac723ae Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 19:45:56 -0400
Subject: Added "private" macro to lux/debug.

---
 stdlib/source/test/licentia.lux | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

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

diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux
index f73d55ab4..506a61c61 100644
--- a/stdlib/source/test/licentia.lux
+++ b/stdlib/source/test/licentia.lux
@@ -5,13 +5,13 @@
    [abstract/monad (#+ do)]
    [io (#+ io)]
    [data
-    ["." bit ("#;." equivalence)]
-    ["." maybe ("#;." functor)]
+    ["." bit ("#\." equivalence)]
+    ["." maybe ("#\." functor)]
     ["." text]
     [number
-     ["n" nat ("#@." interval)]]
+     ["n" nat ("#\." interval)]]
     [collection
-     ["." list ("#;." functor)]]]
+     ["." list ("#\." functor)]]]
    [math
     ["r" random (#+ Random)]]]
   {#program
@@ -43,9 +43,9 @@
 (def: period
   (Random (Period Nat))
   (do {! r.monad}
-    [start (r.filter (|>> (n.= n@top) not)
+    [start (r.filter (|>> (n.= n\top) not)
                      r.nat)
-     #let [wiggle-room (n.- start n@top)]
+     #let [wiggle-room (n.- start n\top)]
      end (:: ! map
              (|>> (n.% wiggle-room) (n.max 1))
              r.nat)]
@@ -173,10 +173,10 @@
       (_.test "Litigation conditions are present."
               (present? liability.litigation))
       (_.test "Liability acceptance conditions may be present."
-              (bit;= (get@ #license.can-accept? liability)
+              (bit\= (get@ #license.can-accept? liability)
                      (present? liability.can-accept)))
       (_.test "Liability acceptance conditions may be present."
-              (bit;= (get@ #license.disclaim-high-risk? liability)
+              (bit\= (get@ #license.disclaim-high-risk? liability)
                      (present? liability.disclaim-high-risk)))
       ))
 
@@ -195,13 +195,13 @@
   (Concern Commercial)
   ($_ _.and
       (_.test "Non-commercial clause is present."
-              (bit;= (not (get@ #license.can-sell? commercial))
+              (bit\= (not (get@ #license.can-sell? commercial))
                      (present? commercial.cannot-sell)))
       (_.test "Contributor credit condition is present."
-              (bit;= (get@ #license.require-contributor-credit? commercial)
+              (bit\= (get@ #license.require-contributor-credit? commercial)
                      (present? commercial.require-contributor-attribution)))
       (_.test "Anti-endorsement condition is present."
-              (bit;= (not (get@ #license.allow-contributor-endorsement? commercial))
+              (bit\= (not (get@ #license.allow-contributor-endorsement? commercial))
                      (present? commercial.disallow-contributor-endorsement)))
       ))
 
@@ -209,11 +209,11 @@
   (Concern Extension)
   ($_ _.and
       (_.test "The license is viral."
-              (bit;= (get@ #license.same-license? extension)
+              (bit\= (get@ #license.same-license? extension)
                      (and (list.every? present? extension.sharing-requirement)
                           (list.every? present? extension.license-conflict-resolution))))
       (_.test "Extensions must be distinguishable from the original work."
-              (bit;= (get@ #license.must-be-distinguishable? extension)
+              (bit\= (get@ #license.must-be-distinguishable? extension)
                      (present? extension.distinctness-requirement)))
       (_.test "The community must be notified of new extensions."
               (case (get@ #license.notification-period extension)
@@ -223,7 +223,7 @@
                 #.None
                 true))
       (_.test "Must describe modifications."
-              (bit;= (get@ #license.must-describe-modifications? extension)
+              (bit\= (get@ #license.must-describe-modifications? extension)
                      (present? extension.description-requirement)))
       ))
 
@@ -235,14 +235,14 @@
       (_.test "The attribution phrase is present."
               (|> attribution
                   (get@ #license.phrase)
-                  (maybe;map present?)
+                  (maybe\map present?)
                   (maybe.default true)))
       (_.test "The attribution URL is present."
               (present? (get@ #license.url attribution)))
       (_.test "The attribution image is present."
               (|> attribution
                   (get@ #license.image)
-                  (maybe;map present?)
+                  (maybe\map present?)
                   (maybe.default true)))
       ))
 
@@ -295,7 +295,7 @@
                                                                 yes)
                                      every-entity-is-mentioned? (|> black-list
                                                                     (get@ #license.entities)
-                                                                    (list;map black-list.entity)
+                                                                    (list\map black-list.entity)
                                                                     (list.every? present?))]
                                  (and black-list-is-justified?
                                       every-entity-is-mentioned?)))
-- 
cgit v1.2.3