diff options
| author | Eduardo Julian | 2021-07-17 01:48:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-17 01:48:49 -0400 |
| commit | 2c99b4515447315d76a8dc203a2dbcafc09506ea (patch) | |
| tree | abb913a594de33855b49a218e7728417fa0f850b /licentia/source/test/licentia.lux | |
| parent | bfacc0c96e56eedf788aba44bd8ad2848a35c390 (diff) | |
Now properly loading cached modules.
Diffstat (limited to 'licentia/source/test/licentia.lux')
| -rw-r--r-- | licentia/source/test/licentia.lux | 43 |
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?) |