From 2c99b4515447315d76a8dc203a2dbcafc09506ea Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 17 Jul 2021 01:48:49 -0400
Subject: Now properly loading cached modules.

---
 licentia/source/test/licentia.lux | 43 ++++++++++++++++++++-------------------
 1 file changed, 22 insertions(+), 21 deletions(-)

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

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 5ae86cfdb..1ad1bb72d 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,22 +1,24 @@
 (.module:
-  [lux #*
-   [program (#+ program:)]
-   ["_" test (#+ Test)]
-   [abstract
-    [monad (#+ do)]]
-   [control
-    ["." io]]
-   [data
-    ["." bit ("#\." equivalence)]
-    ["." maybe ("#\." functor)]
-    ["." text]
-    [collection
-     ["." list ("#\." functor)]]]
-   [math
-    ["." random (#+ Random)]
-    [number
-     ["n" nat ("#\." interval)]]]]
+  [library
+   [lux #*
+    [program (#+ program:)]
+    ["_" test (#+ Test)]
+    [abstract
+     [monad (#+ do)]]
+    [control
+     ["." io]]
+    [data
+     ["." bit ("#\." equivalence)]
+     ["." maybe ("#\." functor)]
+     ["." text]
+     [collection
+      ["." list ("#\." functor)]]]
+    [math
+     ["." random (#+ Random)]
+     [number
+      ["n" nat ("#\." interval)]]]]]
   [\\program
+   ["." output]
    ["." license (#+ Identification
                     Termination
                     Liability
@@ -40,8 +42,7 @@
     ["." extension]
     ["." miscellaneous]
     ["." black_list]
-    ["." addendum]]
-   ["." output]])
+    ["." addendum]]])
 
 (def: period
   (Random (Period Nat))
@@ -311,7 +312,7 @@
                                                                 (present? justification)
 
                                                                 #.None
-                                                                yes)
+                                                                bit.yes)
                                      every_entity_is_mentioned? (|> black_list
                                                                     (get@ #license.entities)
                                                                     (list\map black_list.entity)
@@ -352,7 +353,7 @@
 
           #.None
           (_.test "Attribution is missing."
-                  yes))
+                  bit.yes))
 
         (..about_miscellaneous present?)
 
-- 
cgit v1.2.3