aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-06-01 21:52:34 -0400
committerEduardo Julian2022-06-01 21:52:34 -0400
commit5d44577c3849a045052dc1c9f0dd7deddd032120 (patch)
treeb0e00801734720e9f985c7dfa239aaa0bdea7bcd /licentia/source/test
parent659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff)
Extensible import syntax: Part 1
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux30
1 files changed, 15 insertions, 15 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index a6274a7b5..39b76b6b6 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,10 +1,10 @@
(.using
[library
[lux "*"
- [program {"+" program:}]
- ["_" test {"+" Test}]
+ [program (.only program:)]
+ ["_" test (.only Test)]
[abstract
- [monad {"+" do}]]
+ [monad (.only do)]]
[control
["[0]" io]
["[0]" maybe ("[1]#[0]" functor)]]
@@ -14,22 +14,22 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" Random}]
+ ["[0]" random (.only Random)]
[number
["n" nat ("[1]#[0]" interval)]]]]]
[\\program
["[0]" output]
- ["[0]" license {"+" Identification
- Termination
- Liability
- Distribution
- Commercial
- Extension
- Entity Black_List
- URL Attribution
- Addendum
- License}
- ["[0]" time {"+" Period}]
+ ["[0]" license (.only Identification
+ Termination
+ Liability
+ Distribution
+ Commercial
+ Extension
+ Entity Black_List
+ URL Attribution
+ Addendum
+ License)
+ ["[0]" time (.only Period)]
["[0]" copyright]
["[0]" notice]
["[0]" definition]