diff options
| author | Eduardo Julian | 2022-04-08 21:32:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-08 21:32:38 -0400 |
| commit | 120ebb44dbb1a20fc150e5e58099f90be2e61d49 (patch) | |
| tree | 32bcc24d1a48989faf4207bbce423c483b9ce1ba /stdlib/source/test | |
| parent | 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (diff) | |
Better names for random text/character generators.
Diffstat (limited to 'stdlib/source/test')
104 files changed, 536 insertions, 536 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 1a0c7cb29..e3a533036 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -30,9 +30,9 @@ (Random /.Artifact) (let [size 4] (all random.and - (random.ascii/lower size) - (random.ascii/lower size) - (random.ascii/lower size)))) + (random.lower_case size) + (random.lower_case size) + (random.lower_case size)))) (def: .public test Test diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 1d32ff734..47c276dc8 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -24,7 +24,7 @@ (Random /.Version) (all random.and $///type.random - (random.ascii/alpha 1) + (random.alphabetic 1) $///time.random )) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 7967e935f..2b32260c5 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -31,7 +31,7 @@ (def: .public random (Random /.Value) (all random.and - (random.ascii/alpha 5) + (random.alphabetic 5) (random.or (random#in []) $///stamp.random) )) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index ca247f3f0..a641ee369 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -102,8 +102,8 @@ Test (do [! random.monad] [[dependency expected_package] ..package - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (is (file.System Async) (file.mock (# file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] @@ -123,8 +123,8 @@ Test (do [! random.monad] [expected ..resolution - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (is (file.System Async) (file.mock (# file.default separator))) program (program.async (program.mock environment.empty home working_directory))]] diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 4d577e737..c02ae8c4f 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -42,9 +42,9 @@ (random#in []) ... #Deploy (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) - (random.ascii/alpha 1)) + (random.alphabetic 1) + (random.alphabetic 1) + (random.alphabetic 1)) ... #Compilation ..compilation ... #Auto @@ -87,7 +87,7 @@ (def: with_profile Test (do random.monad - [expected_profile (random.ascii/alpha 1) + [expected_profile (random.alphabetic 1) expected_command ..command] (_.test "With profile." (|> expected_command diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 1cad922f7..4bc2dec70 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -65,13 +65,13 @@ Test (<| (_.covering /._) (do [! random.monad] - [end_signal (random.ascii/alpha 5) + [end_signal (random.alphabetic 5) .let [/ (# file.default separator) [fs watcher] (watch.mock /)] - program (random.ascii/alpha 5) - target (random.ascii/alpha 5) - source (random.ascii/alpha 5) + program (random.alphabetic 5) + target (random.alphabetic 5) + source (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) @@ -84,11 +84,11 @@ with_target (has ///.#sources (set.of_list text.hash (list source))))] - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) expected_runs (# ! each (|>> (n.% 10) (n.max 2)) random.nat) - dummy_path (# ! each (|>> (format source /)) (random.ascii/alpha 5)) + dummy_path (# ! each (|>> (format source /)) (random.alphabetic 5)) [compiler resolution] $build.resolution] (all _.and (_.cover [/.delay] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 86dc41f93..008908479 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -108,7 +108,7 @@ (def: compiler (Random Dependency) (do random.monad - [lux_version (random.ascii/alpha 5) + [lux_version (random.alphabetic 5) .let [js_compiler [///dependency.#artifact [///artifact.#group /.lux_group ///artifact.#name /.js_lux_name ///artifact.#version lux_version] @@ -140,14 +140,14 @@ Test (<| (_.covering /._) (do [! random.monad] - [last_read (random.ascii/alpha 5) - last_error (random.ascii/alpha 5) + [last_read (random.alphabetic 5) + last_error (random.alphabetic 5) .let [fs (file.mock (# file.default separator)) shell (shell.async (..good_shell []))] - program (random.ascii/alpha 5) - target (random.ascii/alpha 5) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + program (random.alphabetic 5) + target (random.alphabetic 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) @@ -215,9 +215,9 @@ (_.cover' [/.failure] (try.else false verdict))))) (do ! - [expected/0 (random.ascii/alpha 5) - expected/1 (random.ascii/alpha 5) - expected/2 (random.ascii/alpha 5)] + [expected/0 (random.alphabetic 5) + expected/1 (random.alphabetic 5) + expected/2 (random.alphabetic 5)] (`` (all _.and (~~ (template [<error?> <log!>] [(let [console (@version.echo "") diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index cdc5efafd..c64a5e1b7 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -38,7 +38,7 @@ (def: node_name (Random Text) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: (files prefix) (-> Path (Random (List [Path Binary]))) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 7ce8710c9..f414f5d2b 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -76,8 +76,8 @@ (in [artifact expected_pom profile]))) $profile.random) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [fs (file.mock (# file.default separator)) program (program.async (program.mock environment.empty home working_directory)) local (///repository/local.repository program fs) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 5b6c42a9c..101eaa542 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -56,8 +56,8 @@ Test (<| (_.covering /._) (do random.monad - [home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + [home (random.alphabetic 5) + working_directory (random.alphabetic 5) dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index d4244bfcf..d89a7a7a6 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -67,8 +67,8 @@ [identity $artifact.random sample (# ! each (has ///.#identity {.#Some identity}) $profile.random) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [/ (# file.default separator)]] (all _.and (in (do [! async.monad] diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 34bd05c36..862597b79 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -43,10 +43,10 @@ Test (<| (_.covering /._) (do [! random.monad] - [test (random.ascii/alpha 5) - target (random.ascii/alpha 5) - home (random.ascii/alpha 5) - working_directory (random.ascii/alpha 5) + [test (random.alphabetic 5) + target (random.alphabetic 5) + home (random.alphabetic 5) + working_directory (random.alphabetic 5) .let [empty_profile (is Profile (# ///.monoid identity)) with_target (is (-> Profile Profile) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 21e90f754..bdc26bd7b 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -19,7 +19,7 @@ (Random /.Dependency) (all random.and @artifact.random - (random.ascii/alpha 1))) + (random.alphabetic 1))) (def: .public test Test diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index c52ff5f21..12b175534 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -148,7 +148,7 @@ (<| (_.covering /._) (do [! random.monad] [address (# ! each (text.suffix uri.separator) - (random.ascii/upper 10))] + (random.upper_case 10))] (all _.and (do [! random.monad] [[dependency expected_artifact package] ..bundle diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 1459a88e5..4a0294d61 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -44,9 +44,9 @@ (def: .public random (Random /.Metadata) (all random.and - (random.ascii/alpha 5) - (random.ascii/alpha 5) - (random.list 5 (random.ascii/alpha 5)) + (random.alphabetic 5) + (random.alphabetic 5) + (random.list 5 (random.alphabetic 5)) (do [! random.monad] [year (# ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat) month (# ! each (|>> (n.% 12) (n.+ 1)) random.nat) @@ -95,8 +95,8 @@ (text#= (//.remote_project_uri artifact) (/.uri artifact))) (do random.monad - [home (random.ascii/lower 5) - working_directory (random.ascii/lower 5) + [home (random.lower_case 5) + working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (# file.default separator)) repository (///repository/local.repository program fs)]] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index bb862dca2..00cdb05b6 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -107,8 +107,8 @@ (text#= (//.remote_artifact_uri artifact) (/.uri artifact))) (do random.monad - [home (random.ascii/lower 5) - working_directory (random.ascii/lower 5) + [home (random.lower_case 5) + working_directory (random.lower_case 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (# file.default separator)) repository (///repository/local.repository program fs)]] diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index af642f65b..a87131927 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -35,7 +35,7 @@ (def: name (Random //.Name) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 246492587..dd5b296d8 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -47,29 +47,29 @@ (def: license (Random /.License) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) + (random.alphabetic 1) + (random.alphabetic 1) ..distribution)) (def: scm (Random /.SCM) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: organization (Random /.Organization) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1))) + (random.alphabetic 1) + (random.alphabetic 1))) (def: email (Random /.Email) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: developer (Random /.Developer) (all random.and - (random.ascii/alpha 1) - (random.ascii/alpha 1) + (random.alphabetic 1) + (random.alphabetic 1) (random.maybe organization))) (def: contributor @@ -97,10 +97,10 @@ (def: info (Random /.Info) (all random.and - (random.maybe (random.ascii/alpha 1)) - (random.maybe (random.ascii/alpha 2)) + (random.maybe (random.alphabetic 1)) + (random.maybe (random.alphabetic 2)) (random.maybe ..scm) - (random.maybe (random.ascii/alpha 3)) + (random.maybe (random.alphabetic 3)) (..list_of ..license) (random.maybe ..organization) (..list_of ..developer) @@ -109,19 +109,19 @@ (def: name (Random /.Name) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: repository (Random Address) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: source (Random /.Source) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: target (Random /.Target) - (random.ascii/alpha 1)) + (random.alphabetic 1)) (def: .public random (Random /.Profile) @@ -135,11 +135,11 @@ (..list_of $compiler.random) (..set_of text.hash ..source) ..target - (random.maybe (random.ascii/alpha 1)) - (random.maybe (random.ascii/alpha 2)) - (..dictionary_of text.hash (random.ascii/alpha 3) ..repository) - (..list_of (random.and (random.ascii/alpha 4) - (random.ascii/alpha 5))) + (random.maybe (random.alphabetic 1)) + (random.maybe (random.alphabetic 2)) + (..dictionary_of text.hash (random.alphabetic 3) ..repository) + (..list_of (random.and (random.alphabetic 4) + (random.alphabetic 5))) (random#in //runtime.default_java) (random#in //runtime.default_js) (random#in //runtime.default_python) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index cf3a93e52..c191a5f83 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -28,7 +28,7 @@ (Random [//.Name //.Profile]) (|> @profile.random (random#each (has //.#parents (list))) - (random.and (random.ascii/alpha 1)))) + (random.and (random.alphabetic 1)))) (def: .public random (Random /.Project) @@ -62,7 +62,7 @@ (and (not (text#= super_name name)) (not (text#= dummy_name name)) (not (text#= sub_name name)))) - (random.ascii/alpha 1)) + (random.alphabetic 1)) .let [project (all (# /.monoid composite) (/.project super_name super_profile) (/.project dummy_name dummy_profile) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 5e357ecca..e1b67e424 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -13,8 +13,8 @@ (def: .public random (Random /.Identity) (all random.and - (random.ascii/alpha 10) - (random.ascii/alpha 10) + (random.alphabetic 10) + (random.alphabetic 10) )) (def: .public test diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index c5da9011d..92826c8ff 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -27,16 +27,16 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.ascii/upper 1) - home (random.ascii/lower 10) - working_directory (random.ascii/lower 10) + [/ (random.upper_case 1) + home (random.lower_case 10) + working_directory (random.lower_case 10) .let [fs (file.mock /) program (program.async (program.mock environment.empty home working_directory)) repo (/.repository program fs)] - uri (random.ascii/lower 10) + uri (random.lower_case 10) expected (# ! each (# utf8.codec encoded) - (random.ascii/lower 10))] + (random.lower_case 10))] (all _.and (in (do async.monad [before_upload (# repo download uri) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index a0bcff68d..90a0f89dd 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -13,8 +13,8 @@ (def: .public random (Random /.Origin) (all random.or - (random.ascii/alpha 10) - (random.ascii/alpha 10) + (random.alphabetic 10) + (random.alphabetic 10) )) (def: .public test diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index abf123f4b..05cd293c3 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -84,14 +84,14 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (random.ascii/upper 10) - uri (random.ascii/lower 10) + [address (random.upper_case 10) + uri (random.lower_case 10) - user (random.ascii/lower 10) - password (random.ascii/lower 10) + user (random.lower_case 10) + password (random.lower_case 10) content (# ! each (# utf8.codec encoded) - (random.ascii/lower 10))] + (random.lower_case 10))] (all _.and (_.cover [/.repository /.user_agent /.Address] (let [repo (/.repository (..good_http user password) diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 5166968f3..c982c455a 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -35,7 +35,7 @@ (<| (_.covering /._) (_.for [/.Runtime]) (do random.monad - [path (random.ascii/alpha 5) + [path (random.alphabetic 5) runtime ..random] (`` (all _.and (_.for [/.equivalence] diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0dc505bb0..7d529f04e 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -137,7 +137,7 @@ (def: for_try Test (do random.monad - [expected_error (random.ascii/lower 5) + [expected_error (random.lower_case 5) expected random.nat] (all _.and (_.cover [/.try] @@ -433,13 +433,13 @@ (..sum' n/0 n/1 n/1)))) (_.cover [/.using] (`` (with_expansions [<referral> ("lux in-module" "library/lux" library/lux.refer) - <alias> (static.random code.text (random.ascii/lower 1)) - <definition> (static.random code.local (random.ascii/lower 1)) - <module/0> (static.random code.text (random.ascii/lower 2)) + <alias> (static.random code.text (random.lower_case 1)) + <definition> (static.random code.local (random.lower_case 1)) + <module/0> (static.random code.text (random.lower_case 2)) <module/0>' (template.symbol [<module/0>]) - <module/1> (static.random code.text (random.ascii/lower 3)) + <module/1> (static.random code.text (random.lower_case 3)) <module/1>' (template.symbol [<module/1>]) - <module/2> (static.random code.text (random.ascii/lower 4)) + <module/2> (static.random code.text (random.lower_case 4)) <module/2>' (template.symbol [<module/2>]) <m0/1> (template.text [<module/0> "/" <module/1>]) <//> (template.text [// <module/2>']) @@ -738,7 +738,7 @@ start/b random.nat shift/s random.nat shift/b random.nat - text (random.ascii/lower 1) + text (random.lower_case 1) .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) @@ -818,9 +818,9 @@ (def: for_associative Test (do random.monad - [left (random.ascii/lower 1) - mid (random.ascii/lower 1) - right (random.ascii/lower 1) + [left (random.lower_case 1) + mid (random.lower_case 1) + right (random.lower_case 1) .let [expected (text.interposed "" (list left mid right))]] (_.cover [/.all /.left] (with_expansions [<left_association> (/.left format @@ -881,7 +881,7 @@ Test (do random.monad [left random.nat - right (random.ascii/lower 1) + right (random.lower_case 1) item/0 random.nat item/1 random.nat diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 53afa97a4..988151880 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -38,13 +38,13 @@ (def: local (Random Text) - (random.ascii/lower 1)) + (random.lower_case 1)) (def: global (Random Symbol) (all random.and - (random.ascii/lower 1) - (random.ascii/lower 1) + (random.lower_case 1) + (random.lower_case 1) )) (def: any_symbol diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index 1631c5b59..4c9dafeab 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -33,8 +33,8 @@ (# try.functor each (n.= expected)) (try.else false)))) (do random.monad - [property (random.ascii/alpha 1) - expected (random.ascii/alpha 1)] + [property (random.alphabetic 1) + expected (random.alphabetic 1)] (_.cover [/.Property /.property] (|> /.empty (dictionary.has property expected) @@ -42,7 +42,7 @@ (# try.functor each (text#= expected)) (try.else false)))) (do random.monad - [property (random.ascii/alpha 1)] + [property (random.alphabetic 1)] (_.cover [/.unknown_property] (case (/.result (/.property property) /.empty) {try.#Success _} diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 12bf56c3a..eb09bad2a 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -84,15 +84,15 @@ (and (..should_pass expected (/.range offset limit)) (..should_fail out_of_range (/.range offset limit))))) (do [! random.monad] - [expected (random.char unicode.ascii/upper) - invalid (random.only (|>> (unicode/block.within? unicode/block.basic_latin/upper) not) + [expected (random.char unicode.upper_case) + invalid (random.only (|>> (unicode/block.within? unicode/block.upper_case) not) (random.char unicode.character))] (_.cover [/.upper] (and (..should_pass (text.of_char expected) /.upper) (..should_fail (text.of_char invalid) /.upper)))) (do [! random.monad] - [expected (random.char unicode.ascii/lower) - invalid (random.only (|>> (unicode/block.within? unicode/block.basic_latin/lower) not) + [expected (random.char unicode.lower_case) + invalid (random.only (|>> (unicode/block.within? unicode/block.lower_case) not) (random.char unicode.character))] (_.cover [/.lower] (and (..should_pass (text.of_char expected) /.lower) @@ -116,20 +116,20 @@ (and (..should_pass (# n.hex encoded expected) /.hexadecimal) (..should_fail (text.of_char invalid) /.hexadecimal)))) (do [! random.monad] - [expected (random.char unicode.ascii/alpha) + [expected (random.char unicode.alphabetic) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char)))) (random.char unicode.character))] (_.cover [/.alpha] (and (..should_pass (text.of_char expected) /.alpha) (..should_fail (text.of_char invalid) /.alpha)))) (do [! random.monad] - [expected (random.char unicode.ascii/alpha_num) + [expected (random.char unicode.alpha_numeric) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char) - (unicode/block.within? unicode/block.basic_latin/decimal char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char) + (unicode/block.within? unicode/block.numeric char)))) (random.char unicode.character))] (_.cover [/.alpha_num] (and (..should_pass (text.of_char expected) /.alpha_num) @@ -397,8 +397,8 @@ (!expect (^.multi {try.#Success actual} (text#= expected actual)))))) (do [! random.monad] - [invalid (random.ascii/upper 1) - expected (random.only (|>> (unicode/block.within? unicode/block.basic_latin/upper) + [invalid (random.upper_case 1) + expected (random.only (|>> (unicode/block.within? unicode/block.upper_case) not) (random.char unicode.character)) .let [upper! (/.one_of! "ABCDEFGHIJKLMNOPQRSTUVWXYZ")]] @@ -415,11 +415,11 @@ (!expect (^.multi {try.#Failure error} (exception.match? /.expected_to_fail error))))))) (do [! random.monad] - [upper (random.ascii/upper 1) - lower (random.ascii/lower 1) + [upper (random.upper_case 1) + lower (random.lower_case 1) invalid (random.only (function (_ char) - (not (or (unicode/block.within? unicode/block.basic_latin/upper char) - (unicode/block.within? unicode/block.basic_latin/lower char)))) + (not (or (unicode/block.within? unicode/block.upper_case char) + (unicode/block.within? unicode/block.lower_case char)))) (random.char unicode.character)) .let [upper! (/.one_of! "ABCDEFGHIJKLMNOPQRSTUVWXYZ") lower! (/.one_of! "abcdefghijklmnopqrstuvwxyz")]] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index bbca8a8fe..a64688a8d 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -35,7 +35,7 @@ (def: primitive (Random Type) - (|> (random.ascii/alpha_num 1) + (|> (random.alpha_numeric 1) (# random.monad each (function (_ name) {.#Primitive name (list)})))) @@ -305,8 +305,8 @@ (!expect (^.multi {try.#Success actual} (n.= expected actual)))))) (do [! random.monad] - [expected_name (random.and (random.ascii/alpha_num 1) - (random.ascii/alpha_num 1)) + [expected_name (random.and (random.alpha_numeric 1) + (random.alpha_numeric 1)) expected_type ..primitive] (_.cover [/.named /.not_named] (|> (/.result /.named diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 51292dc61..10f8acc14 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -39,7 +39,7 @@ (template: (!failure <exception> <cases>) [(with_expansions [<<cases>> (template.spliced <cases>)] (do [! random.monad] - [expected (random.ascii/alpha 1)] + [expected (random.alphabetic 1)] (_.cover [<exception>] (`` (and (~~ (template [<parser> <input>] [(|> (/.result <parser> (list <input>)) @@ -50,8 +50,8 @@ (def: random_label (Random Symbol) - (random.and (random.ascii/alpha 1) - (random.ascii/alpha 1))) + (random.and (random.alphabetic 1) + (random.alphabetic 1))) (def: random_tag ..random_label) (def: random_attribute ..random_label) @@ -62,7 +62,7 @@ (_.for [/.Parser]) (all _.and (do [! random.monad] - [expected (random.ascii/alpha 1)] + [expected (random.alphabetic 1)] (_.cover [/.result /.text] (|> (/.result /.text (list {xml.#Text expected})) (!expect (^.multi {try.#Success actual} @@ -71,7 +71,7 @@ [[(//#in expected) {xml.#Text expected}]]) (do [! random.monad] - [expected (# ! each (|>> {xml.#Text}) (random.ascii/alpha 1))] + [expected (# ! each (|>> {xml.#Text}) (random.alphabetic 1))] (_.cover [/.any] (|> (/.result /.any (list expected)) (try#each (xml#= expected)) @@ -97,7 +97,7 @@ (do [! random.monad] [expected_tag ..random_tag expected_attribute ..random_attribute - expected_value (random.ascii/alpha 1)] + expected_value (random.alphabetic 1)] (_.cover [/.attribute] (|> (/.result (<| (/.node expected_tag) (//.after (/.attribute expected_attribute)) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 2e5fb1810..113b166f3 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -35,7 +35,7 @@ (<| (_.covering /._) (_.for [/.PList]) (do [! random.monad] - [.let [gen_key (random.ascii/alpha 10)] + [.let [gen_key (random.alphabetic 10)] size (# ! each (n.% 100) random.nat) sample (..random size gen_key random.nat) @@ -51,7 +51,7 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid - (..random 10 (random.ascii/lower 1) random.nat))) + (..random 10 (random.lower_case 1) random.nat))) (_.cover [/.size] (n.= size (/.size sample))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 1a54f242e..0a193f702 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -33,9 +33,9 @@ (<| (_.covering /._) (_.for [/.Tree]) (do [! random.monad] - [tag_left (random.ascii/alpha_num 1) + [tag_left (random.alpha_numeric 1) tag_right (random.only (|>> (text#= tag_left) not) - (random.ascii/alpha_num 1)) + (random.alpha_numeric 1)) expected_left random.nat expected_right random.nat] (all _.and @@ -81,8 +81,8 @@ (do random.monad [.let [tags_equivalence (list.equivalence text.equivalence) values_equivalence (list.equivalence n.equivalence)] - tags/H (random.ascii/alpha_num 1) - tags/T (random.list 5 (random.ascii/alpha_num 1)) + tags/H (random.alpha_numeric 1) + tags/T (random.list 5 (random.alpha_numeric 1)) values/H random.nat values/T (random.list 5 random.nat)] (_.cover [/.tags /.values] diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 1c33df2b6..84f31a550 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -88,7 +88,7 @@ (try#each (#= expected)) (try.else false)))) (do random.monad - [keys (random.set text.hash 3 (random.ascii/alpha 1)) + [keys (random.set text.hash 3 (random.alphabetic 1)) values (random.set frac.hash 3 random.safe_frac) .let [expected (list.zipped_2 (set.list keys) (list#each (|>> {/.#Number}) (set.list values))) @@ -111,9 +111,9 @@ expected)) )) (do random.monad - [key (random.ascii/alpha 1) + [key (random.alphabetic 1) unknown (random.only (|>> (# text.equivalence = key) not) - (random.ascii/alpha 1)) + (random.alphabetic 1)) expected random.safe_frac] (_.cover [/.has] (<| (try.else false) @@ -136,7 +136,7 @@ cannot_find_unknown_key!)))))) (~~ (template [<type> <field> <tag> <random> <equivalence>] [(do random.monad - [key (random.ascii/alpha 1) + [key (random.alphabetic 1) value <random>] (_.cover [<type> <field>] (|> (/.object (list [key {<tag> value}])) @@ -146,9 +146,9 @@ [/.Boolean /.boolean_field /.#Boolean random.bit bit.equivalence] [/.Number /.number_field /.#Number random.safe_frac frac.equivalence] - [/.String /.string_field /.#String (random.ascii/alpha 1) text.equivalence] + [/.String /.string_field /.#String (random.alphabetic 1) text.equivalence] [/.Array /.array_field /.#Array (random.sequence 3 ..random) (sequence.equivalence /.equivalence)] - [/.Object /.object_field /.#Object (random.dictionary text.hash 3 (random.ascii/alpha 1) ..random) (dictionary.equivalence /.equivalence)] + [/.Object /.object_field /.#Object (random.dictionary text.hash 3 (random.alphabetic 1) ..random) (dictionary.equivalence /.equivalence)] )) (with_expansions [<boolean> (boolean) <number> (number) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 1bffe48ec..a62ce9de4 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -40,8 +40,8 @@ Test (_.for [/.Path] (do [! random.monad] - [expected (random.ascii/lower /.path_size) - invalid (random.ascii/lower (++ /.path_size)) + [expected (random.lower_case /.path_size) + invalid (random.lower_case (++ /.path_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.path_size)] (`` (all _.and @@ -75,8 +75,8 @@ Test (_.for [/.Name] (do [! random.monad] - [expected (random.ascii/lower /.name_size) - invalid (random.ascii/lower (++ /.name_size)) + [expected (random.lower_case /.name_size) + invalid (random.lower_case (++ /.name_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.name_size)] (`` (all _.and @@ -157,10 +157,10 @@ (def: entry Test (do [! random.monad] - [expected_path (random.ascii/lower (-- /.path_size)) + [expected_path (random.lower_case (-- /.path_size)) expected_moment (# ! each (|>> (n.% 1,0,00,00,00,00,000) .int instant.of_millis) random.nat) - chunk (random.ascii/lower chunk_size) + chunk (random.lower_case chunk_size) chunks (# ! each (n.% 100) random.nat) .let [content (|> chunk (list.repeated chunks) @@ -243,7 +243,7 @@ Test (_.for [/.Mode /.mode] (do [! random.monad] - [path (random.ascii/lower 10) + [path (random.lower_case 10) modes (random.list 4 ..random_mode) .let [expected_mode (list#mix /.and /.none modes)]] (`` (all _.and @@ -315,9 +315,9 @@ (def: ownership Test (do [! random.monad] - [path (random.ascii/lower /.path_size) - expected (random.ascii/lower /.name_size) - invalid (random.ascii/lower (++ /.name_size)) + [path (random.lower_case /.path_size) + expected (random.lower_case /.name_size) + invalid (random.lower_case (++ /.name_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.name_size)] (_.for [/.Ownership /.Owner /.ID] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 00bcfb12d..a4ecc3e09 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -147,7 +147,7 @@ ))) (do [! random.monad] [size (# ! each (|>> (n.% 10) ++) random.nat) - characters (random.set /.hash size (random.ascii/alpha 1)) + characters (random.set /.hash size (random.alphabetic 1)) .let [sample (|> characters set.list /.together)] expected (# ! each (n.% size) random.nat)] (_.cover [/.char] @@ -179,18 +179,18 @@ Test (do [! random.monad] [size (# ! each (|>> (n.% 10) (n.+ 2)) random.nat) - characters (random.set /.hash size (random.ascii/alpha 1)) + characters (random.set /.hash size (random.alphabetic 1)) separator (random.only (|>> (set.member? characters) not) - (random.ascii/alpha 1)) + (random.alphabetic 1)) .let [with_no_separator (|> characters set.list /.together)] - static (random.ascii/alpha 1) + static (random.alphabetic 1) .let [dynamic (random.only (|>> (# /.equivalence = static) not) - (random.ascii/alpha 1))] + (random.alphabetic 1))] pre dynamic post dynamic - lower (random.ascii/lower 1) - upper (random.ascii/upper 1)] + lower (random.lower_case 1) + upper (random.upper_case 1)] (all _.and (_.cover [/.together] (n.= (set.size characters) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index dbe4732df..fe1506d88 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -18,7 +18,7 @@ (Random Text) (do [! random.monad] [size (# ! each (|>> (n.% 10) ++) random.nat)] - (random.ascii/alpha size))) + (random.alphabetic size))) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 767a8cf4c..4c4a35e69 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -142,9 +142,9 @@ /.specials ... Specialized blocks - /.basic_latin/decimal - /.basic_latin/upper - /.basic_latin/lower]] + /.numeric + /.upper_case + /.lower_case]] ) <named> (template [<definition> <part>] [((is (-> Any (List /.Block)) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 20f6c2e42..11c1faa88 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -84,11 +84,11 @@ (not (/.member? <set> (++ end))))))] [/.ascii] - [/.ascii/alpha] - [/.ascii/alpha_num] - [/.ascii/lower] - [/.ascii/upper] - [/.ascii/numeric] + [/.alphabetic] + [/.alpha_numeric] + [/.lower_case] + [/.upper_case] + [/.numeric] [/.character] [/.non_character] [/.full] diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 960d314b9..79bc194a8 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -54,7 +54,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.ascii/upper 10) + sample_text (random.upper_case 10) sample_nat random.nat sample_rev random.rev] (in (`` (and (~~ (template [<type> <format> <sample>] @@ -198,7 +198,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.ascii/upper 10)] + sample_text (random.upper_case 10)] (_.cover [/.inspection] (`` (and (~~ (template [<format> <sample>] [(text#= (<format> <sample>) (/.inspection <sample>))] @@ -232,7 +232,7 @@ Test (<| (_.covering /._) (do random.monad - [message (random.ascii/lower 5)] + [message (random.lower_case 5)] (all _.and ..inspection ..representation @@ -241,7 +241,7 @@ (and (exception.match? /.type_hole error) (text.contains? (%.type My_Text) error)))) (do random.monad - [foo (random.ascii/upper 10) + [foo (random.upper_case 10) bar random.nat baz random.bit] (_.cover [/.here] diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 31de211a2..6f8490ef9 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -632,9 +632,9 @@ (def: for_exception Test (do [! random.monad] - [var/0 (random.ascii/lower 1) - var/1 (random.ascii/lower 2) - var/2 (random.ascii/lower 3)] + [var/0 (random.lower_case 1) + var/1 (random.lower_case 2) + var/2 (random.lower_case 3)] (all _.and (_.cover [/.class_names_cannot_contain_periods] (with_expansions [<class> (template.symbol ["java.lang.Float"])] diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index ba0671906..3e5894ff2 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -21,7 +21,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 3166de641..d28f19138 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -24,7 +24,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index b58994cd4..8e08fa744 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -21,7 +21,7 @@ [boolean random.bit integer random.int float random.frac - string (random.ascii/lower 1)] + string (random.lower_case 1)] (<| (_.covering /._) (`` (all _.and (~~ (template [<type> <sample>] diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index 570c5b98f..c407a9c43 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -32,7 +32,7 @@ (def: expected_char (//.as_char (static.random_int))) (def: expected_float (//.as_float (static.random_frac))) (def: expected_double (//.as_double (static.random_frac))) -(def: expected_string (//.as_string (static.random code.text (random.ascii/lower 2)))) +(def: expected_string (//.as_string (static.random code.text (random.lower_case 2)))) (`` (`` (/.export: Primitives ... Constants @@ -138,7 +138,7 @@ [char //.as_char ..tiny_int] [float //.as_float ..tiny_frac] [double //.as_double ..tiny_frac] - [string //.as_string (random.ascii/lower 1)] + [string //.as_string (random.lower_case 1)] ))] (all _.and (_.cover [/.export:] diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index e6a1aa602..0ba513c1a 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -64,7 +64,7 @@ (Random [Nat Text .Lux]) (do [! random.monad] [seed random.nat - symbol_prefix (random.ascii/upper 1) + symbol_prefix (random.upper_case 1) .let [macro_module (symbol.module (symbol /._)) current_module (symbol.module (symbol .._))]] (in [seed diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index bf3d3f79a..63d6a7ccf 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -29,7 +29,7 @@ (def: random_text (Random Text) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: random_symbol (Random Symbol) diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 15bc35f78..9f136e7d8 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -19,7 +19,7 @@ (def: .public random (Random /.Declaration) - (let [word (random.ascii/alpha 10)] + (let [word (random.alphabetic 10)] (all random.and word (do [! random.monad] diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index a4947439c..24056ae07 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -27,7 +27,7 @@ (def: .public random (Random /.Definition) (all random.and - (random.ascii/alpha 5) + (random.alphabetic 5) (random.or $//check.random $///code.random) random.bit diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index e7f3ff473..f5f8a490d 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -17,7 +17,7 @@ (def: .public random (Random /.Variable) - (random.ascii/alpha 10)) + (random.alphabetic 10)) (def: .public test Test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 3f69f4e5f..03c6c9b2e 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -46,16 +46,16 @@ (def: compiler_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - configuration_feature (random.ascii/upper 1) - configuration_value (random.ascii/upper 1) + configuration_feature (random.upper_case 1) + configuration_value (random.upper_case 1) .let [configuration (list [configuration_feature configuration_value]) expected_lux [.#info [.#target target .#version version @@ -107,15 +107,15 @@ (def: error_handling Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_error (random.ascii/upper 1) + expected_error (random.upper_case 1) .let [expected_lux [.#info [.#target target .#version version .#mode {.#Build} @@ -193,21 +193,21 @@ (def: module_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) imported_module_name (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - primitive_type (random.ascii/upper 1) + (random.upper_case 1)) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_short (random.ascii/upper 1) + expected_short (random.upper_case 1) dummy_module (random.only (function (_ module) (not (or (text#= expected_current_module module) (text#= imported_module_name module)))) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [imported_module [.#module_hash 0 .#module_aliases (list) .#definitions (list) @@ -304,19 +304,19 @@ (def: random_location (Random Location) (all random.and - (random.ascii/upper 1) + (random.upper_case 1) random.nat random.nat)) (def: context_related (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -375,13 +375,13 @@ (def: definition_related Test (do [! random.monad] - [expected_current_module (random.ascii/upper 1) + [expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -491,13 +491,13 @@ Test (do [! random.monad] [expected_exported? random.bit - expected_current_module (random.ascii/upper 1) + expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -664,20 +664,20 @@ (def: label_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) + [current_module (random.upper_case 1) label_module (random.only (|>> (text#= current_module) not) - (random.ascii/upper 1)) + (random.upper_case 1)) - name_0 (random.ascii/upper 1) + name_0 (random.upper_case 1) name_1 (random.only (|>> (text#= name_0) not) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [random_tag (# ! each (|>> [label_module]) - (random.ascii/upper 1)) + (random.upper_case 1)) random_labels (is (Random [Text (List Text)]) (do ! - [head (random.ascii/lower 5)] - (|> (random.ascii/lower 5) + [head (random.lower_case 5)] + (|> (random.lower_case 5) (random.only (|>> (text#= head) not)) (random.set text.hash 3) (# ! each set.list) @@ -803,8 +803,8 @@ (def: locals_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) - [name_0 name_1 name_2 name_3 name_4] (|> (random.ascii/upper 1) + [current_module (random.upper_case 1) + [name_0 name_1 name_2 name_3 name_4] (|> (random.upper_case 1) (random.set text.hash 5) (# ! each set.list) (random.one (function (_ values) @@ -947,13 +947,13 @@ (_.for [.Meta .Lux]) (all _.and (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -986,7 +986,7 @@ (do random.monad [expected_value random.nat - expected_error (random.ascii/upper 1)] + expected_error (random.upper_case 1)] (_.cover [/.lifted] (and (|> expected_error {try.#Failure} diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index 68fc30537..17d91168b 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -31,8 +31,8 @@ (case amount 0 (random#in /.empty) _ (do [! random.monad] - [feature (random.ascii/upper amount) - value (random.ascii/lower amount)] + [feature (random.upper_case amount) + value (random.lower_case amount)] (# ! each (|>> (partial_list [feature value])) (random (-- amount)))))) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index 6fea463bf..93f24f460 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -19,7 +19,7 @@ (def: .public random (Random Location) (all random.and - (random.ascii/alpha 10) + (random.alphabetic 10) random.nat random.nat )) @@ -36,7 +36,7 @@ (not (# /.equivalence = (/.here) (/.here)))) (do random.monad [location ..random - error (random.ascii/alpha 10)] + error (random.alphabetic 10)] (_.cover [/.format /.with] (let [located_error (/.with location error)] (and (text.contains? (/.format location) diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index 41a702d92..b372e93bd 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -22,8 +22,8 @@ (def: .public (random module_size short_size) (-> Nat Nat (Random Symbol)) - (random.and (random.ascii/alpha module_size) - (random.ascii/alpha short_size))) + (random.and (random.alphabetic module_size) + (random.alphabetic short_size))) (def: .public test Test diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 00e1ac020..58e8296c9 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -36,7 +36,7 @@ Test (<| (_.covering /._) (with_expansions [<current> (/.current) - <fake> (static.random code.text (random.ascii/lower 1))]) + <fake> (static.random code.text (random.lower_case 1))]) (all _.and (_.cover [/.latest] (n.> 0 /.latest)) diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index ecfb45ce1..2279a4526 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -30,7 +30,7 @@ Test (<| (_.covering /._) (do random.monad - [inputs (random.list 5 (random.ascii/upper 5))] + [inputs (random.list 5 (random.upper_case 5))] (_.cover [/.program:] (let [(open "list#[0]") (list.equivalence text.equivalence)] (and (with_expansions [<program> (/.program: all_arguments diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index 71b690527..6fdf9b5dd 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -58,8 +58,8 @@ _ false))) (_.cover [/.text /.random] - (with_expansions [<left> (/.random code.text (random.ascii/alpha_num 1)) - <right> (/.random code.text (random.ascii/alpha_num 1)) + (with_expansions [<left> (/.random code.text (random.alpha_numeric 1)) + <right> (/.random code.text (random.alpha_numeric 1)) <l+r> (/.text (format <left> <right>))] (case (' <l+r>) [_ {.#Text l+r}] @@ -75,8 +75,8 @@ (n.= (list#mix n.+ 0 (list l/*)) (all n.+ l/*))))) (_.cover [/.literal] - (with_expansions [<left> (/.random code.text (random.ascii/alpha_num 1)) - <right> (/.random code.text (random.ascii/alpha_num 1)) + (with_expansions [<left> (/.random code.text (random.alpha_numeric 1)) + <right> (/.random code.text (random.alpha_numeric 1)) <l+r> (/.literal code.text (format <left> <right>))] (case (' <l+r>) [_ {.#Text l+r}] diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux index 709939bfd..81587cd20 100644 --- a/stdlib/source/test/lux/target/js.lux +++ b/stdlib/source/test/lux/target/js.lux @@ -72,7 +72,7 @@ [boolean random.bit number random.frac int ..int_32 - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.null] (|> /.null @@ -226,9 +226,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) size (# ! each (|>> (n.% 10) ++) random.nat) index (# ! each (n.% size) random.nat) @@ -260,9 +260,9 @@ boolean random.bit number random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|boolean ..test|number @@ -324,9 +324,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - foreign (random.ascii/lower 10) + foreign (random.lower_case 10) local (random.only (|>> (text#= foreign) not) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -356,8 +356,8 @@ (do [! random.monad] [number/0 random.safe_frac int/0 ..int_16 - $foreign (# ! each /.var (random.ascii/lower 10)) - field (random.ascii/upper 10)] + $foreign (# ! each /.var (random.lower_case 10)) + field (random.upper_case 10)] (all _.and (_.cover [/.set] (and (expression (|>> (as Frac) (f.= (f.+ number/0 number/0))) @@ -450,7 +450,7 @@ full_inner_iterations (# ! each (|>> (n.% 20) ++) random.nat) expected_inner_iterations (# ! each (n.% full_inner_iterations) random.nat) - @outer (# ! each /.label (random.ascii/upper 5)) + @outer (# ! each /.label (random.upper_case 5)) full_outer_iterations (# ! each (|>> (n.% 10) ++) random.nat) expected_outer_iterations (# ! each (n.% full_outer_iterations) random.nat) @@ -607,7 +607,7 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $ex (# ! each /.var (random.ascii/lower 10))] + $ex (# ! each /.var (random.lower_case 10))] (all _.and (_.cover [/.try] (expression (|>> (as Frac) (f.= expected)) @@ -631,9 +631,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (`` (all _.and (_.cover [/.apply_1] (expression (|>> (as Frac) (f.= number/0)) @@ -663,10 +663,10 @@ (do [! random.monad] [number/0 random.safe_frac iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.var (random.ascii/lower 1)) - $arg/0 (# ! each /.var (random.ascii/lower 2)) - field (random.ascii/lower 3) - $class (# ! each /.var (random.ascii/upper 4))] + $self (# ! each /.var (random.lower_case 1)) + $arg/0 (# ! each /.var (random.lower_case 2)) + field (random.lower_case 3) + $class (# ! each /.var (random.upper_case 4))] (all _.and (_.cover [/.closure /.return] (expression (|>> (as Frac) (f.= number/0)) @@ -707,12 +707,12 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - arg/0 (random.ascii/lower 10) + arg/0 (random.lower_case 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.ascii/lower 10)) + (random.lower_case 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$arg/0 (/.var arg/0) $arg/1 (/.var arg/1) $arg/2 (/.var arg/2)] @@ -768,9 +768,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12)) + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12)) ??? random.bit int ..int_16] (`` (all _.and diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 86f53e099..efbb44c8f 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -103,9 +103,9 @@ (def: class_name (Random Text) (do random.monad - [super_package (random.ascii/lower 10) - package (random.ascii/lower 10) - name (random.ascii/upper 10)] + [super_package (random.lower_case 10) + package (random.lower_case 10) + name (random.upper_case 10)] (in (format super_package /name.external_separator package /name.external_separator name)))) @@ -122,7 +122,7 @@ (-> (-> Any Bit) (Bytecode Any) (Random Bit)) (do random.monad [class_name ..class_name - method_name (random.ascii/upper 10)] + method_name (random.upper_case 10)] (in (case (do try.monad [class (/class.class /version.v6_0 /class.public (/name.internal class_name) @@ -305,7 +305,7 @@ (def: $String::random (as (Random java/lang/String) - (random.ascii/alpha 10))) + (random.alphabetic 10))) (def: $String::literal (-> java/lang/String (Bytecode Any)) @@ -1340,9 +1340,9 @@ (function (_ primitive return substitute test) (do random.monad [class_name ..class_name - primitive_method_name (random.ascii/upper 10) + primitive_method_name (random.upper_case 10) .let [primitive_method_type (/type.method [(list) (list) (the #unboxed primitive) (list)])] - object_method_name (|> (random.ascii/upper 10) + object_method_name (|> (random.upper_case 10) (random.only (|>> (text#= primitive_method_name) not))) expected (the #random primitive) .let [$Self (/type.class class_name (list))]] diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index 3ae103b3d..7d81b41f5 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -50,7 +50,7 @@ [boolean random.bit int random.int float random.frac - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.nil] (|> /.nil @@ -183,8 +183,8 @@ (def: test|string Test (do random.monad - [left (random.ascii/lower 8) - right (random.ascii/lower 8) + [left (random.lower_case 8) + right (random.lower_case 8) .let [expected (format left right)]] (all _.and (_.cover [/.concat] @@ -227,13 +227,13 @@ index (# ! each (n.% size) random.nat) items (random.list size random.safe_frac) - $self (# ! each /.var (random.ascii/lower 10)) - $table (# ! each /.var (random.ascii/lower 11)) - $arg (# ! each /.var (random.ascii/lower 12)) - field (random.ascii/upper 5) + $self (# ! each /.var (random.lower_case 10)) + $table (# ! each /.var (random.lower_case 11)) + $arg (# ! each /.var (random.lower_case 12)) + field (random.upper_case 5) non_field (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) - method (random.ascii/upper 6)] + (random.upper_case 5)) + method (random.upper_case 6)] (all _.and (_.cover [/.table /.the] (and (expression (|>> (as Frac) (f.= expected)) @@ -265,9 +265,9 @@ boolean random.bit int random.int float random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|boolean ..test|int @@ -319,9 +319,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - foreign (random.ascii/lower 10) + foreign (random.lower_case 10) local (random.only (|>> (text#= foreign) not) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -360,10 +360,10 @@ [float/0 random.safe_frac float/1 random.safe_frac int/0 ..int_16 - $foreign (# ! each /.var (random.ascii/lower 10)) - $arg/0 (# ! each /.var (random.ascii/lower 11)) - $arg/1 (# ! each /.var (random.ascii/lower 12)) - field (random.ascii/upper 10)] + $foreign (# ! each /.var (random.lower_case 10)) + $arg/0 (# ! each /.var (random.lower_case 11)) + $arg/1 (# ! each /.var (random.lower_case 12)) + field (random.upper_case 10)] (all _.and (_.cover [/.set] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -414,11 +414,11 @@ full_iterations (# ! each (|>> (n.% 20) ++) random.nat) expected_iterations (# ! each (|>> (n.% full_iterations) .int) random.nat) - $input (# ! each /.var (random.ascii/lower 10)) - $output (# ! each /.var (random.ascii/lower 11)) - $index (# ! each /.var (random.ascii/lower 12)) + $input (# ! each /.var (random.lower_case 10)) + $output (# ! each /.var (random.lower_case 11)) + $index (# ! each /.var (random.lower_case 12)) - @loop (# ! each /.label (random.ascii/lower 13)) + @loop (# ! each /.label (random.lower_case 13)) .let [expected (i.* expected_iterations input) expected_iterations (/.int expected_iterations)]] @@ -560,8 +560,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $verdict (# ! each /.var (random.ascii/lower 10)) - $outcome (# ! each /.var (random.ascii/lower 11))] + $verdict (# ! each /.var (random.lower_case 10)) + $outcome (# ! each /.var (random.lower_case 11))] (all _.and (_.cover [/.pcall/1] (expression (|>> (as Frac) (f.= expected)) @@ -604,10 +604,10 @@ (do [! random.monad] [float/0 random.safe_frac iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.var (random.ascii/lower 1)) - $arg/0 (# ! each /.var (random.ascii/lower 2)) - field (random.ascii/lower 3) - $class (# ! each /.var (random.ascii/upper 4))] + $self (# ! each /.var (random.lower_case 1)) + $arg/0 (# ! each /.var (random.lower_case 2)) + field (random.lower_case 3) + $class (# ! each /.var (random.upper_case 4))] (all _.and (_.cover [/.closure /.return] (expression (|>> (as Frac) (f.= float/0)) @@ -627,9 +627,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (`` (all _.and (_.cover [/.apply] (expression (|>> (as Frac) (f.= (all f.+ float/0 float/1 float/2))) @@ -685,8 +685,8 @@ (do [! random.monad] [float/0 random.safe_frac float/1 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11))] (`` (all _.and (_.cover [/.statement /.then /.print/1] (expression (|>> (as Frac) (f.= float/0)) diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 5e54809a1..60fb46d9d 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -49,7 +49,7 @@ [bool random.bit float random.frac int random.int - string (random.ascii/upper 1)] + string (random.upper_case 1)] (all _.and (_.cover [/.none] (|> /.none @@ -265,9 +265,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -290,11 +290,11 @@ bool random.bit float (random.only (|>> f.not_a_number? not) random.frac) - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10) - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11))] + comment (random.upper_case 10) + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11))] (all _.and ..test|bool ..test|float @@ -337,9 +337,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.var (random.ascii/lower 10)) - $arg/1 (# ! each /.var (random.ascii/lower 11)) - $arg/2 (# ! each /.var (random.ascii/lower 12))] + $arg/0 (# ! each /.var (random.lower_case 10)) + $arg/1 (# ! each /.var (random.lower_case 11)) + $arg/2 (# ! each /.var (random.lower_case 12))] (all _.and (_.cover [/.lambda] (expression (|>> (as Frac) (f.= float/0)) @@ -448,7 +448,7 @@ [$var/0 (# ! each (|>> %.nat (format "v0_") /.var) random.nat) expected/0 random.safe_frac dummy/0 random.safe_frac - field (# ! each /.string (random.ascii/upper 1))] + field (# ! each /.string (random.upper_case 1))] (all _.and (_.cover [/.item] (`` (and (~~ (template [<seq>] @@ -489,7 +489,7 @@ expected/0 random.safe_frac expected/1 random.safe_frac dummy/0 random.safe_frac - field/0 (# ! each /.string (random.ascii/upper 1))] + field/0 (# ! each /.string (random.upper_case 1))] (all _.and (_.cover [/.set] (|> (..statement @@ -594,7 +594,7 @@ (def: test|exception Test (do [! random.monad] - [expected_error (random.ascii/upper 10) + [expected_error (random.upper_case 10) expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) @@ -816,7 +816,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.ascii/lower 1)) + (random#each /.string (random.lower_case 1)) )) (def: .public test diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux index b3324189d..2774aa58a 100644 --- a/stdlib/source/test/lux/target/ruby.lux +++ b/stdlib/source/test/lux/target/ruby.lux @@ -63,7 +63,7 @@ [bool random.bit float random.frac int random.int - string (random.ascii/upper 5)] + string (random.upper_case 5)] (all _.and (_.cover [/.nil] (..nil /.nil)) @@ -212,9 +212,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.ascii/upper 5) + field (random.upper_case 5) dummy (random.only (|>> (text#= field) not) - (random.ascii/upper 5)) + (random.upper_case 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -330,11 +330,11 @@ (def: test|io Test (<| (do [! random.monad] - [left (random.ascii/upper 5) - right (random.ascii/upper 5) - $old (# ! each /.local (random.ascii/upper 1)) - $new (# ! each /.local (random.ascii/upper 2)) - $it (# ! each /.local (random.ascii/upper 3)) + [left (random.upper_case 5) + right (random.upper_case 5) + $old (# ! each /.local (random.upper_case 1)) + $new (# ! each /.local (random.upper_case 2)) + $it (# ! each /.local (random.upper_case 3)) .let [expected (format left right)]]) (all _.and (_.for [/.stdout] @@ -406,9 +406,9 @@ bool random.bit float random.frac - string (random.ascii/upper 5) + string (random.upper_case 5) - comment (random.ascii/upper 10)] + comment (random.upper_case 10)] (all _.and ..test|bool ..test|float @@ -433,8 +433,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $global (# ! each /.global (random.ascii/lower 10)) - pattern (# ! each /.string (random.ascii/lower 11))] + $global (# ! each /.global (random.lower_case 10)) + pattern (# ! each /.string (random.lower_case 11))] (all _.and (_.cover [/.global] (expression (|>> (as Text) (text#= "global-variable")) @@ -487,7 +487,7 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10))] + $foreign (# ! each /.local (random.lower_case 10))] (all _.and (_.cover [/.local] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -604,12 +604,12 @@ (def: test|variadic Test (do [! random.monad] - [$inputs (# ! each /.local (random.ascii/lower 10)) + [$inputs (# ! each /.local (random.lower_case 10)) arity (# ! each (n.% 10) random.nat) vals (|> random.int (# ! each /.int) (random.list arity)) - keys (|> (random.ascii/lower 1) + keys (|> (random.lower_case 1) (random.set text.hash arity) (# ! each (|>> set.list (list#each /.string))))] (all _.and @@ -637,9 +637,9 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10)) + $foreign (# ! each /.local (random.lower_case 10)) - $constant (# ! each /.constant (random.ascii/lower 10))] + $constant (# ! each /.constant (random.lower_case 10))] (all _.and (_.cover [/.defined?/1] (and (expression (|>> (as Bit)) @@ -674,8 +674,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (# ! each /.local (random.ascii/lower 10)) - field (# ! each /.string (random.ascii/upper 10))] + $foreign (# ! each /.local (random.lower_case 10)) + field (# ! each /.string (random.upper_case 10))] (all _.and (<| (_.for [/.Var]) ..test|var) @@ -825,8 +825,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - error (random.ascii/lower 10) - $ex (# ! each /.local (random.ascii/lower 10)) + error (random.lower_case 10) + $ex (# ! each /.local (random.lower_case 10)) expected_tag ..random_tag dummy_tag (random.only (|>> (i.= expected_tag) not) @@ -905,16 +905,16 @@ Test (do [! random.monad] [iterations (# ! each (n.% 10) random.nat) - $self (# ! each /.local (random.ascii/lower 1)) - field (random.ascii/lower 3) - $class (# ! each /.local (random.ascii/upper 4)) + $self (# ! each /.local (random.lower_case 1)) + field (random.lower_case 3) + $class (# ! each /.local (random.upper_case 4)) float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.local (random.ascii/lower 10)) - $arg/1 (# ! each /.local (random.ascii/lower 11)) - $arg/2 (# ! each /.local (random.ascii/lower 12))] + $arg/0 (# ! each /.local (random.lower_case 10)) + $arg/1 (# ! each /.local (random.lower_case 11)) + $arg/2 (# ! each /.local (random.lower_case 12))] (all _.and (_.cover [/.lambda /.return] (and (expression (|>> (as Frac) (f.= float/0)) @@ -958,12 +958,12 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - arg/0 (random.ascii/lower 10) + arg/0 (random.lower_case 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.ascii/lower 10)) + (random.lower_case 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.ascii/lower 10)) + (random.lower_case 10)) .let [$arg/0 (/.local arg/0) $arg/1 (/.local arg/1) $arg/2 (/.local arg/2)] @@ -992,9 +992,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (# ! each /.local (random.ascii/lower 10)) - $arg/1 (# ! each /.local (random.ascii/lower 11)) - $arg/2 (# ! each /.local (random.ascii/lower 12)) + $arg/0 (# ! each /.local (random.lower_case 10)) + $arg/1 (# ! each /.local (random.lower_case 11)) + $arg/2 (# ! each /.local (random.lower_case 12)) expected (# ! each (|>> %.int (text.replaced "+" "")) random.int)] (all _.and @@ -1035,7 +1035,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.ascii/lower 5)) + (random#each /.string (random.lower_case 5)) ))] (all random.either literal diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 676290e8e..b14540cdb 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -32,9 +32,9 @@ (def: assertion /.Test (do [! random.monad] - [expected_message/0 (random.ascii/lower 5) + [expected_message/0 (random.lower_case 5) expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.ascii/lower 5))] + (random.lower_case 5))] (all /.and (in (do async.monad [[success_tally success_message] (/.assertion expected_message/0 true) @@ -221,11 +221,11 @@ (<| (/.covering /._) (/.for [/.Test]) (do [! random.monad] - [expected_context (random.ascii/lower 5) + [expected_context (random.lower_case 5) expected_message/0 (random.only (|>> (text#= expected_context) not) - (random.ascii/lower 5)) + (random.lower_case 5)) expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.ascii/lower 5))] + (random.lower_case 5))] (all /.and (/.for [/.Assertion] ..assertion) diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 34e221efb..638e28ee6 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -57,7 +57,7 @@ ($codec.spec /.equivalence /.codec ..random)) (do random.monad - [not_a_day (random.ascii/upper 1)] + [not_a_day (random.upper_case 1)] (_.cover [/.not_a_day_of_the_week] (case (# /.codec decoded not_a_day) {try.#Failure error} diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index e52a077fc..cc43a57a8 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -89,7 +89,7 @@ (list#mix n.+ 0) (n.= expected)))) (do random.monad - [not_a_month (random.ascii/upper 1)] + [not_a_month (random.upper_case 1)] (_.cover [/.not_a_month_of_the_year] (case (# /.codec decoded not_a_month) {try.#Failure error} diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index 27302b091..e4f33919f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -86,7 +86,7 @@ random ) random|extension (all random.and - (random.ascii/lower 1) + (random.lower_case 1) (random.list multiplicity random) )]) (all random.or @@ -107,7 +107,7 @@ int random.int rev random.rev frac random.frac - text (random.ascii/lower 1)] + text (random.lower_case 1)] (`` (all _.and (_.cover [/.unit] (case (/.unit) @@ -246,10 +246,10 @@ Test (do random.monad [version/0 random.nat - host/0 (random.ascii/lower 5) + host/0 (random.lower_case 5) version/1 random.nat - host/1 (random.ascii/lower 5) - expected_error (random.ascii/lower 10) + host/1 (random.lower_case 5) + expected_error (random.lower_case 10) location/0 /location.random location/1 /location.random configuration ($configuration.random 5) @@ -329,15 +329,15 @@ Test (do random.monad [version random.nat - host (random.ascii/lower 5) + host (random.lower_case 5) - expected_module (random.ascii/lower 10) - dummy_module (random.ascii/lower 11) + expected_module (random.lower_case 10) + dummy_module (random.lower_case 11) location /location.random - expected_file (random.ascii/lower 12) - expected_code (random.ascii/lower 13) + expected_file (random.lower_case 12) + expected_code (random.lower_case 13) configuration ($configuration.random 5) .let [state (has .#location location diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index 2ce0c57ad..cb50147c5 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -58,14 +58,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: analysis @@ -92,7 +92,7 @@ [.Int random.int code.int] [.Rev random.rev code.rev] [.Frac random.frac code.frac] - [.Text (random.ascii/lower 1) code.text] + [.Text (random.lower_case 1) code.text] )) ))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index 13699b82f..23ba015dd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -38,7 +38,7 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) @@ -55,7 +55,7 @@ random.nat) choice (# ! each (n.% multiplicity) random.nat) - expected_error (random.ascii/upper 5) + expected_error (random.upper_case 5) name ($symbol.random 2 2) mono $code.random diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index ca3c27702..418f5824b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -34,14 +34,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: (new? hash it) @@ -63,10 +63,10 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - name (random.ascii/lower 1) + name (random.lower_case 1) hash random.nat - expected_import (random.ascii/lower 2) - expected_alias (random.ascii/lower 3)] + expected_import (random.lower_case 2) + expected_alias (random.lower_case 3)] (all _.and (_.cover [/.empty] (..new? hash (/.empty hash))) @@ -137,7 +137,7 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - name (random.ascii/lower 1) + name (random.lower_case 1) hash random.nat] (`` (all _.and (~~ (template [<set> <query> <not/0> <not/1>] @@ -202,16 +202,16 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - module_name (random.ascii/lower 1) + module_name (random.lower_case 1) hash random.nat - def_name (random.ascii/lower 2) - alias_name (random.ascii/lower 3) + def_name (random.lower_case 2) + alias_name (random.lower_case 3) public? random.bit def_type ..primitive arity (# ! each (|>> (n.% 10) ++) random.nat) - labels|head (random.ascii/lower 1) - labels|tail (|> (random.ascii/lower 1) + labels|head (random.lower_case 1) + labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) (# ! each set.list)) @@ -274,16 +274,16 @@ [lux ..random_state .let [state [/extension.#bundle /extension.empty /extension.#state lux]] - module_name (random.ascii/lower 1) + module_name (random.lower_case 1) hash random.nat - def_name (random.ascii/lower 2) - foreign_module (random.ascii/lower 3) + def_name (random.lower_case 2) + foreign_module (random.lower_case 3) public? random.bit def_type ..primitive arity (# ! each (|>> (n.% 10) ++) random.nat) - labels|head (random.ascii/lower 1) - labels|tail (|> (random.ascii/lower 1) + labels|head (random.lower_case 1) + labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) (# ! each set.list))] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index 9151db036..01eb25f11 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -40,7 +40,7 @@ expected_int random.int expected_rev random.rev expected_frac random.frac - expected_text (random.ascii/lower 2) + expected_text (random.lower_case 2) expected_lefts random.nat expected_right? random.bit diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index 1d3895914..f6bedb278 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -54,8 +54,8 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - name/0 (random.ascii/lower 1) - name/1 (random.ascii/lower 2) + name/0 (random.lower_case 1) + name/1 (random.lower_case 2) type/0 ($type.random 0) type/1 ($type.random 0)] (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index 3542d79c7..12448028f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -25,7 +25,7 @@ random.int random.rev (random.only (|>> f.not_a_number? not) random.frac) - (random.ascii/lower 5) + (random.lower_case 5) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index 750bade83..ed8f42dde 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -30,14 +30,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: .public test @@ -50,7 +50,7 @@ expected ..primitive dummy (random.only (|>> (type#= expected) not) ..primitive) - module (random.ascii/lower 1)] + module (random.lower_case 1)] (all _.and (_.cover [/.expecting /.inference] (and (|> (/.inference expected) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index e4e903891..9e97fd917 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -904,23 +904,23 @@ int/0 random.int rev/0 random.rev frac/0 random.frac - text/0 (random.ascii/lower 1) - - @any (random.ascii/lower 2) - @bit (random.ascii/lower 3) - @nat (random.ascii/lower 4) - @int (random.ascii/lower 5) - @rev (random.ascii/lower 6) - @frac (random.ascii/lower 7) - @text (random.ascii/lower 8) - - @left (random.ascii/lower 9) - @right (random.ascii/lower 10) - - $abstraction/0 (# ! each code.local (random.ascii/lower 11)) - $parameter/0 (# ! each code.local (random.ascii/lower 12)) - $abstraction/1 (# ! each code.local (random.ascii/lower 13)) - $parameter/1 (# ! each code.local (random.ascii/lower 14))]) + text/0 (random.lower_case 1) + + @any (random.lower_case 2) + @bit (random.lower_case 3) + @nat (random.lower_case 4) + @int (random.lower_case 5) + @rev (random.lower_case 6) + @frac (random.lower_case 7) + @text (random.lower_case 8) + + @left (random.lower_case 9) + @right (random.lower_case 10) + + $abstraction/0 (# ! each code.local (random.lower_case 11)) + $parameter/0 (# ! each code.local (random.lower_case 12)) + $abstraction/1 (# ! each code.local (random.lower_case 13)) + $parameter/1 (# ! each code.local (random.lower_case 14))]) (all _.and (_.cover [/.phase] (and (..can_analyse_unit! lux module/0) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index 42c064bbc..4eb36a953 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -58,14 +58,14 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.ascii/lower 1) - name/0 (# ! each (|>> [module/0]) (random.ascii/lower 2)) + module/0 (random.lower_case 1) + name/0 (# ! each (|>> [module/0]) (random.lower_case 2)) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter - $binding/0 (# ! each code.local (random.ascii/lower 3)) - $binding/1 (# ! each code.local (random.ascii/lower 4)) - $binding/2 (# ! each code.local (random.ascii/lower 5))] + $binding/0 (# ! each code.local (random.lower_case 3)) + $binding/1 (# ! each code.local (random.lower_case 4)) + $binding/2 (# ! each code.local (random.lower_case 5))] (all _.and (_.cover [/.tuple] (let [tuple? (is (-> Type Type Bit) @@ -500,18 +500,18 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.ascii/lower 1) - name/0 (random.ascii/lower 2) + module/0 (random.lower_case 1) + name/0 (random.lower_case 2) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter [output/0 body/0] $//inference.simple_parameter [output/1 body/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) - $binding/0 (# ! each code.local (random.ascii/lower 3)) - $binding/1 (# ! each code.local (random.ascii/lower 4)) - $binding/2 (# ! each code.local (random.ascii/lower 5)) - extension/0 (# ! each code.text (random.ascii/lower 6)) + $binding/0 (# ! each code.local (random.lower_case 3)) + $binding/1 (# ! each code.local (random.lower_case 4)) + $binding/2 (# ! each code.local (random.lower_case 5)) + extension/0 (# ! each code.text (random.lower_case 6)) bit/0 random.bit nat/0 random.nat] (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index 44fdae7eb..4bdb21d48 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -64,14 +64,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.ascii/lower 1) + host (random.lower_case 1) configuration ($configuration.random 5)] (in (//analysis.state (//analysis.info version host configuration))))) (def: primitive (Random Type) (do random.monad - [name (random.ascii/lower 1)] + [name (random.lower_case 1)] (in {.#Primitive name (list)}))) (def: analysis @@ -98,7 +98,7 @@ [.Int random.int code.int] [.Rev random.rev code.rev] [.Frac (random.only (|>> f.not_a_number? not) random.frac) code.frac] - [.Text (random.ascii/lower 1) code.text] + [.Text (random.lower_case 1) code.text] )) ))) @@ -221,7 +221,7 @@ types/*,terms/* (random.list arity ..simple_parameter) tag (# ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)] - tags (|> (random.ascii/lower 1) + tags (|> (random.lower_case 1) (random.set text.hash arity) (# ! each set.list)) .let [module (product.left name) @@ -437,11 +437,11 @@ arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) slice (# ! each (|>> (n.% (-- arity)) ++) random.nat) [type/0 term/0] ..simple_parameter - slot/0 (random.ascii/lower 1) + slot/0 (random.lower_case 1) types/*,terms/* (random.list arity ..simple_parameter) - slots/0 (|> (random.ascii/lower 1) + slots/0 (|> (random.lower_case 1) (random.set text.hash arity)) - slots/1 (|> (random.ascii/lower 1) + slots/1 (|> (random.lower_case 1) (random.only (|>> (set.member? slots/0) not)) (random.set text.hash arity)) .let [slots/0 (set.list slots/0) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 1e52a34bf..f14599150 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -67,11 +67,11 @@ //extension.#state lux]] input/0 ($type.random 0) input/1 ($type.random 0) - function/0 (random.ascii/lower 1) - function/1 (random.ascii/lower 2) - argument/0 (random.ascii/lower 3) - argument/1 (random.ascii/lower 4) - module/0 (random.ascii/lower 5) + function/0 (random.lower_case 1) + function/1 (random.lower_case 2) + argument/0 (random.lower_case 3) + argument/1 (random.lower_case 4) + module/0 (random.lower_case 5) [output/0 term/0] $//inference.simple_parameter [output/1 term/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) @@ -203,7 +203,7 @@ [input/1 term/1] (random.only (|>> product.left (same? input/0) not) $//inference.simple_parameter) output/0 ($type.random 0) - module/0 (random.ascii/lower 1)] + module/0 (random.lower_case 1)] (all _.and (_.cover [/.apply] (let [reification? (is (-> Type (List Code) Type Bit) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index f67b2431d..66df51d4e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -36,11 +36,11 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - expected_name (random.ascii/lower 1) + expected_name (random.lower_case 1) expected_type ($type.random 0) - expected_module (random.ascii/lower 2) - import (random.ascii/lower 3) - expected_label (random.ascii/lower 4) + expected_module (random.lower_case 2) + import (random.lower_case 3) + expected_label (random.lower_case 4) record? random.bit] (all _.and (_.cover [/.reference] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index 4680a6e00..c096da534 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -80,8 +80,8 @@ (<| (_.covering /._) (do [! random.monad] [version random.nat - host (random.ascii/lower 1) - module (random.ascii/lower 2) + host (random.lower_case 1) + module (random.lower_case 2) configuration ($configuration.random 5) .let [state (/analysis.state (/analysis.info version host configuration))]] (`` (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index c76f452ed..59bafc3d7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -33,7 +33,7 @@ (def: .public random (Random (/.Extension Nat)) (all random.and - (random.ascii/lower 5) + (random.lower_case 5) (random.list 2 random.nat) )) @@ -112,7 +112,7 @@ Test (do [! random.monad] [state random.int - extension (random.ascii/lower 1) + extension (random.lower_case 1) left random.nat right random.nat] (all _.and @@ -150,7 +150,7 @@ (do [! random.monad] [state random.int - extension (random.ascii/lower 1) + extension (random.lower_case 1) left random.nat right random.nat] (all _.and @@ -234,7 +234,7 @@ dummy (random.only (|>> (i.= state) not) random.int) expected random.nat - expected_error (random.ascii/lower 1)] + expected_error (random.lower_case 1)] (all _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) ..random)) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 132d27fb6..e8dad37cf 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -28,7 +28,7 @@ (Random Text) (do [! r.monad] [size (|> r.nat (# ! each (|>> (n.% 20) (n.max 1))))] - (r.ascii/lower_alpha size))) + (r.lower_case_alpha size))) (def: symbol^ (Random Symbol) @@ -47,7 +47,7 @@ (all r.either (do r.monad [size (|> r.nat (r#each (n.% 20)))] - (|> (r.ascii/upper_alpha size) (r#each code.text))) + (|> (r.upper_case_alpha size) (r#each code.text))) (|> symbol^ (r#each code.symbol)) (|> symbol^ (r#each code.tag)))) simple^ (is (Random Code) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 32e833ca7..98beda337 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -23,7 +23,7 @@ random.bit random.i64 random.frac - (random.ascii/lower 1) + (random.lower_case 1) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 5dca59932..d43e6a03b 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -49,8 +49,8 @@ (def: test|entry Test (do random.monad - [module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + [module/0 (random.lower_case 1) + module/1 (random.lower_case 2) signature $/signature.random .let [version (the /signature.#version signature)] fake_version (random.only (|>> (n.= version) not) random.nat) @@ -199,8 +199,8 @@ (<| (_.covering /._) (_.for [/.Archive]) (do random.monad - [module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + [module/0 (random.lower_case 1) + module/1 (random.lower_case 2) signature $/signature.random content/0 random.nat content/1 (random.only (|>> (n.= content/0) not) random.nat) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index 1d45f6113..82722ddcb 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -13,7 +13,7 @@ (def: random_definition (Random /.Definition) (all random.and - (random.ascii/lower 1) + (random.lower_case 1) (random.maybe (all random.and random.nat @@ -27,11 +27,11 @@ (all random.or (random#in []) ..random_definition - (random.ascii/lower 2) - (random.ascii/lower 3) - (random.ascii/lower 4) - (random.ascii/lower 5) - (random.ascii/lower 6) + (random.lower_case 2) + (random.lower_case 3) + (random.lower_case 4) + (random.lower_case 5) + (random.lower_case 6) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 6579f7b5a..6de17ec32 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -30,11 +30,11 @@ (def: .public (random imports) (-> Nat (Random /.Descriptor)) (all random.and - (random.ascii/lower 1) - (random.ascii/lower 1) + (random.lower_case 1) + (random.lower_case 1) random.nat ..random_module_state - (random.set text.hash imports (random.ascii/lower 2)) + (random.set text.hash imports (random.lower_case 2)) )) (def: .public test diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index 15f5f800c..c097d5190 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -53,12 +53,12 @@ (<| (_.covering /._) (_.for [/.Registry]) (do [! random.monad] - [expected_name (random.ascii/lower 5) + [expected_name (random.lower_case 5) mandatory? random.bit expected_dependencies (..random_dependencies 5) expected_amount (# ! each (n.% 10) random.nat) - expected_names (|> (random.ascii/lower 1) + expected_names (|> (random.lower_case 1) (random.set text.hash expected_amount) (# ! each set.list))] (`` (all _.and diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index 94e9127a0..7981c04c1 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -26,8 +26,8 @@ (Random /.Signature) (all random.and (all random.and - (random.ascii/upper 1) - (random.ascii/lower 1)) + (random.upper_case 1) + (random.lower_case 1)) ////version.random )) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index 6b6191135..f7be805d6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -41,8 +41,8 @@ [.let [/ "/" fs (file.mock /)] context $context.random - module/0 (random.ascii/lower 1) - module/1 (random.ascii/lower 2) + module/0 (random.lower_case 1) + module/1 (random.lower_case 2) content/0 random.nat content/1 (random.only (|>> (n.= content/0) not) random.nat) hash random.nat diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux index ae210f1a5..d84c092e3 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -46,11 +46,11 @@ (<| (_.covering /._) (do [! random.monad] [descriptor ($descriptor.random 0) - source_code (random.ascii/upper 1) - name/0 (random.ascii/lower 1) + source_code (random.upper_case 1) + name/0 (random.lower_case 1) module/0 ($module.random random.nat) content/0 ($binary.random 1) - name/1 (random.ascii/lower 2) + name/1 (random.lower_case 2) module/1 (|> ($module.random random.nat) (# ! each (has [module.#descriptor descriptor.#references] (set.of_list text.hash (list name/0))))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 56f8fe6af..b6eca2b43 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -36,11 +36,11 @@ (let [(open "list#[0]") (list.equivalence text.equivalence)]) (do [! random.monad] [amount (# ! each (|>> (n.% 5) ++) random.nat) - sources (random.list amount (random.ascii/lower 1)) - host_dependencies (random.list amount (random.ascii/lower 2)) - libraries (random.list amount (random.ascii/lower 3)) - target (random.ascii/lower 4) - module (random.ascii/lower 5) + sources (random.list amount (random.lower_case 1)) + host_dependencies (random.list amount (random.lower_case 2)) + libraries (random.list amount (random.lower_case 3)) + target (random.lower_case 4) + module (random.lower_case 5) compilers (random.list amount $/compiler.random) configuration ($configuration.random 5) .let [compilation' (all list#composite diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index 4ad6e7f57..f9048293b 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -25,7 +25,7 @@ (do [! random.monad] [definition ($symbol.random 1 1) amount (# ! each (n.% 5) random.nat) - parameters (random.list amount (random.ascii/lower 2))] + parameters (random.list amount (random.lower_case 2))] (in [/.#definition definition /.#parameters parameters]))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 773744465..0641b4bcd 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -25,14 +25,14 @@ (in /.lua) (in /.python) (in /.ruby))] - (# ! each context (random.ascii/lower 1)))) + (# ! each context (random.lower_case 1)))) (def: .public test Test (<| (_.covering /._) (_.for [/.Context /.Extension]) (do [! random.monad] - [target (random.ascii/lower 1)] + [target (random.lower_case 1)] (all _.and (_.cover [/.js /.jvm /.lua /.python /.ruby] (let [contexts (list (/.js target) diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index 9278a2cbf..46f139850 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -40,16 +40,16 @@ (<| (_.covering /._) (do [! random.monad] [.let [/ .module_separator] - source/0 (random.ascii/lower 1) - source/1 (random.ascii/lower 2) - target (random.ascii/lower 3) + source/0 (random.lower_case 1) + source/1 (random.lower_case 2) + target (random.lower_case 3) .let [random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.ascii/lower 4)))] + (# ! each (text.suffix io.lux_extension) (random.lower_case 4)))] file/0' random_file .let [file/0 (format source/0 / file/0')] - dir/0 (random.ascii/lower 5) + dir/0 (random.lower_case 5) file/1' (# ! each (|>> (format dir/0 /)) random_file) .let [file/1 (format source/1 / file/1')] diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index a88cd53ad..a0710729f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -44,15 +44,15 @@ (<| (_.covering /._) (_.for [/.Import]) (do [! random.monad] - [library/0 (random.ascii/lower 1) - library/1 (random.ascii/lower 2) + [library/0 (random.lower_case 1) + library/1 (random.lower_case 2) .let [/ .module_separator random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.ascii/lower 3)))] + (# ! each (text.suffix io.lux_extension) (random.lower_case 3)))] file/0 random_file - dir/0 (random.ascii/lower 4) + dir/0 (random.lower_case 4) file/1 (# ! each (|>> (format dir/0 /)) random_file) .let [random_content (is (Random Binary) diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index b758a7a01..26217bc46 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -49,7 +49,7 @@ (do [! random.monad] [state random.nat expected random.int - expected_error (random.ascii/lower 1)] + expected_error (random.lower_case 1)] (all _.and (_.cover [/.failure] (|> (/.failure expected_error) diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index 01f967571..337baa5ee 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -25,8 +25,8 @@ (def: constant (Random /.Constant) (all random.and - (random.ascii/upper 5) - (random.ascii/lower 5) + (random.upper_case 5) + (random.lower_case 5) )) (def: .public random diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 2c4eca4c4..1577c6a20 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -212,7 +212,7 @@ true))) (do random.monad [left random.nat - right (random.ascii/lower 1) + right (random.lower_case 1) .let [left,right [left right]]] (_.cover [/.as] (|> left,right diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux index 7e3ce6884..8af42ce34 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/abstract.lux @@ -57,7 +57,7 @@ (<| (_.covering /._) (_.for [/.abstract:]) (do random.monad - [expected_foo (random.ascii/lower 5) + [expected_foo (random.lower_case 5) expected_bar random.nat] (all _.and (_.cover [/.abstraction] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 07d647d77..16861e8cb 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -119,7 +119,7 @@ (def: (primitive_type parameters) (-> Nat (Random Type)) (do random.monad - [primitive (random.ascii/upper 3) + [primitive (random.upper_case 3) parameters (random.list parameters (primitive_type (-- parameters)))] (in {.#Primitive primitive parameters}))) @@ -137,7 +137,7 @@ ex random.nat] (all _.and (do random.monad - [expected (random.ascii/upper 10)] + [expected (random.upper_case 10)] (_.cover [/.failure] (case (/.result /.fresh_context (is (/.Check Any) @@ -145,7 +145,7 @@ {try.#Success _} false {try.#Failure actual} (same? expected actual)))) (do random.monad - [expected (random.ascii/upper 10)] + [expected (random.upper_case 10)] (_.cover [/.assertion] (and (case (/.result /.fresh_context (is (/.Check Any) @@ -207,7 +207,7 @@ {try.#Success verdict} verdict {try.#Failure error} false)) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.bind] (case (/.result /.fresh_context (do /.monad @@ -218,7 +218,7 @@ {try.#Success _} true {try.#Failure error} false))) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.bound?] (and (|> (do /.monad [[var_id var_type] /.var @@ -241,7 +241,7 @@ (/.result /.fresh_context) (try.else false))))) (do random.monad - [nominal (random.ascii/upper 10)] + [nominal (random.upper_case 10)] (_.cover [/.cannot_rebind_var] (case (/.result /.fresh_context (do /.monad @@ -256,7 +256,7 @@ {try.#Failure error} (exception.match? /.cannot_rebind_var error)))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) var_id random.nat] (_.cover [/.unknown_type_var] (case (/.result /.fresh_context @@ -268,7 +268,7 @@ {try.#Failure error} (exception.match? /.unknown_type_var error)))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.peek] (and (|> (do /.monad @@ -296,7 +296,7 @@ _ false))))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.read] (case (/.result /.fresh_context @@ -310,7 +310,7 @@ _ false))) (do random.monad - [nominal (random.ascii/upper 10) + [nominal (random.upper_case 10) .let [expected {.#Primitive nominal (list)}]] (_.cover [/.unbound_type_var] (case (/.result /.fresh_context @@ -380,7 +380,7 @@ (def: nominal (Random Type) (do random.monad - [name (random.ascii/upper 10)] + [name (random.upper_case 10)] (in {.#Primitive name (list)}))) (def: (non_twins = random) @@ -662,7 +662,7 @@ Test (do [! random.monad] [nominal ..nominal - [name/0 name/1] (..non_twins text#= (random.ascii/upper 10)) + [name/0 name/1] (..non_twins text#= (random.upper_case 10)) [parameter/0 parameter/1] (..non_twins type#= ..nominal) left_name ..symbol right_name ..symbol @@ -690,8 +690,8 @@ (function.constant {.#Ex id})) random.nat) (do random.monad - [module (random.ascii/upper 10) - short (random.ascii/upper 10) + [module (random.upper_case 10) + short (random.upper_case 10) anonymousT dirty_type] (in (function (_ holeT) {.#Named [module short] (anonymousT holeT)}))) @@ -708,7 +708,7 @@ [.#Apply] )) (do [! random.monad] - [name (random.ascii/upper 10) + [name (random.upper_case 10) parameterT dirty_type] (in (function (_ holeT) {.#Primitive name (list (parameterT holeT))}))) @@ -763,7 +763,7 @@ (def: for_subsumption|nominal (Random Bit) (do random.monad - [primitive (random.ascii/upper 10) + [primitive (random.upper_case 10) example ..clean_type] (in (and (/.subsumes? {.#Primitive primitive (list)} {.#Primitive primitive (list)}) @@ -845,8 +845,8 @@ (def: for_subsumption|named (Random Bit) (do random.monad - [module (random.ascii/upper 10) - short (random.ascii/upper 10) + [module (random.upper_case 10) + short (random.upper_case 10) example ..clean_type] (in (and (/.subsumes? {.#Named [module short] example} example) diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 06963e92d..ebae69a0d 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -55,7 +55,7 @@ (_.for [/.async /.mock /.Mock] ($/.spec (io.io (/.async (/.mock ..mock [false ""]))))) (do random.monad - [expected (random.ascii/alpha 10) + [expected (random.alphabetic 10) .let [console (/.mock ..mock [false ""])]] (_.cover [/.write_line] (io.run! diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index b5d9892ad..c4c8689cd 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -242,8 +242,8 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.ascii/upper 1) - file (random.ascii/lower 1)] + [/ (random.upper_case 1) + file (random.lower_case 1)] (all _.and (_.for [/.mock] ($/.spec (io.io (/.mock /)))) diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 6389dec6f..1243694a5 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -67,7 +67,7 @@ (def: exception Test (do [! random.monad] - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [[fs watcher] (/.mock "/")]] (all _.and (in (do async.monad @@ -158,11 +158,11 @@ ..exception (do [! random.monad] - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [/ "/" [fs watcher] (/.mock /)] expected_path (# ! each (|>> (format directory /)) - (random.ascii/alpha 5)) + (random.alphabetic 5)) data ($binary.random 10)] (in (do [! async.monad] [verdict (do (try.with !) @@ -184,7 +184,7 @@ (_.cover' [/.mock /.polling] (try.else false verdict))))) (do random.monad - [directory (random.ascii/alpha 5) + [directory (random.alphabetic 5) .let [/ "/" [fs watcher] (/.mock /)]] (in (do async.monad diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index c84bc1502..7ed8fa32d 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -66,7 +66,7 @@ on_options random.nat on_trace random.nat num_headers (# ! each (nat.% 10) random.nat) - headers (random.dictionary text.hash num_headers (random.ascii/lower 3) (random.ascii/lower 3)) + headers (random.dictionary text.hash num_headers (random.lower_case 3) (random.lower_case 3)) .let [mock (is (/.Client IO) (implementation (def: (request method url headers data) diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 2075fd410..d9c04e2ba 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -31,12 +31,12 @@ (def: (environment env_size) (-> Nat (Random Environment)) (random.dictionary text.hash env_size - (random.ascii/alpha 5) - (random.ascii/alpha 5))) + (random.alphabetic 5) + (random.alphabetic 5))) (def: path (Random Path) - (random.ascii/alpha 5)) + (random.alphabetic 5)) (def: .public test Test @@ -47,7 +47,7 @@ home ..path directory ..path - unknown (random.ascii/alpha 1)] + unknown (random.alphabetic 1)] (all _.and (_.for [/.mock /.async] ($/.spec (/.async (/.mock environment home directory)))) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 30d19d53c..6de1d8a38 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -90,10 +90,10 @@ (_.cover [/.error] (not (i.= /.normal /.error))) (do random.monad - [command (random.ascii/alpha 5) - oops (random.ascii/alpha 5) - input (random.ascii/alpha 5) - destruction (random.ascii/alpha 5) + [command (random.alphabetic 5) + oops (random.alphabetic 5) + input (random.alphabetic 5) + destruction (random.alphabetic 5) exit random.int .let [shell (/.async (..io_shell command oops input destruction exit))]] (in (do [! async.monad] |