aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-07-17 01:48:49 -0400
committerEduardo Julian2021-07-17 01:48:49 -0400
commit2c99b4515447315d76a8dc203a2dbcafc09506ea (patch)
treeabb913a594de33855b49a218e7728417fa0f850b /licentia/source/test
parentbfacc0c96e56eedf788aba44bd8ad2848a35c390 (diff)
Now properly loading cached modules.
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux43
1 files changed, 22 insertions, 21 deletions
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?)