aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 02:28:47 -0400
committerEduardo Julian2022-06-04 02:28:47 -0400
commit56d2835d35093e2d92c5e8a4371aa322b55e037b (patch)
tree1c7949355baeae92e2f6e02f9104739ddb10ff73 /licentia/source/test
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to 'licentia/source/test')
-rw-r--r--licentia/source/test/licentia.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 86da654d9..0e40d75bb 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -7,16 +7,16 @@
[monad (.only do)]]
[control
["[0]" io]
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
- ["n" nat ("[1]#[0]" interval)]]]]]
+ ["n" nat (.open: "[1]#[0]" interval)]]]]]
[\\program
["[0]" output]
["[0]" license (.only Identification