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/artifact/snapshot | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to '')
6 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e44ba514c..b09095646 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] ["$[0]" / "_" ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 36267e060..8a722c72a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 25134c0cb..54aa5d8af 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [time ["[0]" instant]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index cde73c729..1e40d43d7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] ["$[0]" /// "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 53e45aa9e..951e78380 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 81df110ce..511abf693 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -12,9 +12,9 @@ ["<[0]>" text]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["i" int]]] |