diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /licentia/source/test/licentia.lux | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/test/licentia.lux | 8 |
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 |