aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-07-12 22:51:25 -0400
committerEduardo Julian2021-07-12 22:51:25 -0400
commit86bcfadb774618defaa27bbb9361a93d288fb985 (patch)
tree48c8422b872ec21d60810a88e47f38c9583f6333 /licentia/source/test
parent86df87512966e8038d70624ab654262ce14a915c (diff)
A bit more clarity for Licentia licenses.
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux61
1 files changed, 31 insertions, 30 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index bf0f4929e..5ae86cfdb 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -5,7 +5,7 @@
[abstract
[monad (#+ do)]]
[control
- [io (#+ io)]]
+ ["." io]]
[data
["." bit ("#\." equivalence)]
["." maybe ("#\." functor)]
@@ -16,33 +16,32 @@
["." random (#+ Random)]
[number
["n" nat ("#\." interval)]]]]
- {#program
- [/
- ["." license (#+ Identification
- Termination
- Liability
- Distribution
- Commercial
- Extension
- Entity Black_List
- URL Attribution
- Addendum
- License)
- ["." time (#+ Period)]
- ["." copyright]
- ["." notice]
- ["." definition]
- ["." grant]
- ["." limitation]
- ["." submission]
- ["." liability]
- ["." distribution]
- ["." commercial]
- ["." extension]
- ["." miscellaneous]
- ["." black_list]
- ["." addendum]]
- ["." output]]})
+ [\\program
+ ["." license (#+ Identification
+ Termination
+ Liability
+ Distribution
+ Commercial
+ Extension
+ Entity Black_List
+ URL Attribution
+ Addendum
+ License)
+ ["." time (#+ Period)]
+ ["." copyright]
+ ["." notice]
+ ["." definition]
+ ["." grant]
+ ["." limitation]
+ ["." submission]
+ ["." liability]
+ ["." distribution]
+ ["." commercial]
+ ["." extension]
+ ["." miscellaneous]
+ ["." black_list]
+ ["." addendum]]
+ ["." output]])
(def: period
(Random (Period Nat))
@@ -364,5 +363,7 @@
)))
(program: args
- (io (_.run! (<| (_.times 100)
- ..test))))
+ (<| io.io
+ _.run!
+ (_.times 100)
+ ..test))