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 /stdlib/source/test/aedifex/repository | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
4 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index e1b67e424..9dbd6a858 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 9c9703d55..d8867b598 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [parser diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 90a0f89dd..2f652b513 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index c20722d4c..79c4987a0 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" monad)] ["[0]" exception] @@ -13,15 +13,15 @@ [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world - [net {"+" URL} + [net (.only URL) ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] |