From f9d4d316ef9666f6b122b0eec8180351216e95f8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 15 Mar 2019 00:23:49 -0400
Subject: Changed the convention for the structure opening separator from "/"
 to ";", to avoid confusion since "/" is used for relative module paths.

---
 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 0dd3183ca..1526b8a04 100644
--- a/stdlib/source/test/licentia.lux
+++ b/stdlib/source/test/licentia.lux
@@ -6,13 +6,13 @@
    [control
     [monad (#+ do)]]
    [data
-    ["." bit ("#/." equivalence)]
-    ["." maybe ("#/." functor)]
+    ["." bit ("#;." equivalence)]
+    ["." maybe ("#;." functor)]
     [number
-     ["." nat ("#/." interval)]]
+     ["." nat ("#;." interval)]]
     ["." text]
     [collection
-     ["." list ("#/." functor)]]]
+     ["." list ("#;." functor)]]]
    [math
     ["r" random (#+ Random)]]]
   {#program
@@ -44,9 +44,9 @@
 (def: period
   (Random (Period Nat))
   (do r.monad
-    [start (r.filter (|>> (n/= nat/top) not)
+    [start (r.filter (|>> (n/= nat;top) not)
                      r.nat)
-     #let [wiggle-room (n/- start nat/top)]
+     #let [wiggle-room (n/- start nat;top)]
      end (:: @ map
              (|>> (n/% wiggle-room) (n/max 1))
              r.nat)]
@@ -174,10 +174,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)))
       ))
 
@@ -196,13 +196,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)))
       ))
 
@@ -210,11 +210,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)
@@ -224,7 +224,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)))
       ))
 
@@ -236,14 +236,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)))
       ))
 
@@ -296,7 +296,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