diff options
author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/test/lux/world | |
parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/test/lux/world')
-rw-r--r-- | stdlib/source/test/lux/world/console.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file/watch.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/input/keyboard.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/net/http/client.lux | 8 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/net/http/status.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/output/video/resolution.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/program.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/shell.lux | 4 |
9 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index c82991687..9cfe5dbc5 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 9954bc4d4..53c2c7ce9 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] @@ -23,7 +23,7 @@ ["[0]" random]] [time ["[0]" instant (.only Instant)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" watch]] [\\library ["[0]" /]] diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index b87d5186e..af69350e0 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [predicate (.only Predicate)] @@ -19,7 +19,7 @@ [math ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]] [//// [data diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index 8ae8e68ed..f13e615a0 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 00ef6f8ec..21cbaa354 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only Monad do)]] @@ -14,7 +14,7 @@ [data ["[0]" binary] ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] [encoding ["[0]" utf8]]] @@ -25,8 +25,8 @@ [number ["[0]" nat]]]]] [\\library - ["[0]" / - ["/[1]" // + ["[0]" / (.only) + ["/[1]" // (.only) ["[1][0]" status]]]]) (def: (verification ! expected response) diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index 4e7c3cef2..fe1a74690 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) ["/[1]" //]]]) (with_expansions [<categories> (these [informational diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index cdd2797a0..347162ff5 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)] diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 6501a1074..3d7119229 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] @@ -22,7 +22,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [file (.only Path)]]]] [\\specification diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 59c0eccb6..c9960e037 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] @@ -22,7 +22,7 @@ ["n" nat] ["i" int]]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [file (.only Path)]]]] [\\specification |