diff options
| author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
| commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
| tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /licentia/source/test | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to 'licentia/source/test')
| -rw-r--r-- | licentia/source/test/licentia.lux | 30 |
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] |