From 8d4c256f8b56561869c14df02db695d774c74fa6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 24 Oct 2022 19:28:57 -0400 Subject: Minor naming & syntax improvements. --- stdlib/source/test/aedifex/artifact.lux | 6 +- .../source/test/aedifex/dependency/deployment.lux | 2 +- stdlib/source/test/aedifex/metadata/artifact.lux | 4 +- stdlib/source/test/aedifex/metadata/snapshot.lux | 4 +- stdlib/source/test/aedifex/repository/local.lux | 10 +- stdlib/source/test/aedifex/repository/remote.lux | 10 +- stdlib/source/test/lux.lux | 22 ++-- .../source/test/lux/control/concurrency/actor.lux | 28 ++--- .../source/test/lux/control/concurrency/agent.lux | 2 +- .../source/test/lux/control/function/contract.lux | 2 +- .../test/lux/data/collection/list/property.lux | 2 +- stdlib/source/test/lux/data/format/json.lux | 2 +- stdlib/source/test/lux/data/format/tar.lux | 20 +-- stdlib/source/test/lux/data/text.lux | 10 +- stdlib/source/test/lux/debug.lux | 8 +- stdlib/source/test/lux/ffi.jvm.lux | 6 +- stdlib/source/test/lux/ffi.lua.lux | 2 +- stdlib/source/test/lux/ffi.py.lux | 2 +- stdlib/source/test/lux/ffi.rb.lux | 2 +- stdlib/source/test/lux/ffi/export.jvm.lux | 4 +- stdlib/source/test/lux/ffi/node_js.js.lux | 2 +- stdlib/source/test/lux/math/random.lux | 4 +- stdlib/source/test/lux/meta/code.lux | 6 +- .../lux/meta/compiler/language/lux/analysis.lux | 20 +-- .../compiler/language/lux/analysis/inference.lux | 6 +- .../meta/compiler/language/lux/analysis/macro.lux | 4 +- .../meta/compiler/language/lux/analysis/module.lux | 22 ++-- .../compiler/language/lux/analysis/pattern.lux | 2 +- .../meta/compiler/language/lux/analysis/scope.lux | 4 +- .../meta/compiler/language/lux/analysis/simple.lux | 2 +- .../meta/compiler/language/lux/analysis/type.lux | 6 +- .../meta/compiler/language/lux/phase/analysis.lux | 34 +++--- .../language/lux/phase/analysis/complex.lux | 14 +-- .../language/lux/phase/analysis/function.lux | 16 +-- .../language/lux/phase/analysis/reference.lux | 8 +- .../language/lux/phase/analysis/simple.lux | 4 +- .../compiler/language/lux/phase/analysis/when.lux | 22 ++-- .../meta/compiler/language/lux/phase/extension.lux | 8 +- .../language/lux/phase/extension/analysis/lux.lux | 2 +- .../compiler/language/lux/synthesis/simple.lux | 2 +- .../source/test/lux/meta/compiler/meta/archive.lux | 8 +- .../compiler/meta/archive/artifact/category.lux | 12 +- .../compiler/meta/archive/module/descriptor.lux | 6 +- .../lux/meta/compiler/meta/archive/registry.lux | 4 +- .../lux/meta/compiler/meta/archive/signature.lux | 4 +- .../test/lux/meta/compiler/meta/cache/archive.lux | 4 +- .../test/lux/meta/compiler/meta/cache/purge.lux | 6 +- stdlib/source/test/lux/meta/compiler/meta/cli.lux | 12 +- .../test/lux/meta/compiler/meta/cli/compiler.lux | 2 +- .../source/test/lux/meta/compiler/meta/context.lux | 4 +- .../source/test/lux/meta/compiler/meta/export.lux | 10 +- .../source/test/lux/meta/compiler/meta/import.lux | 8 +- stdlib/source/test/lux/meta/compiler/phase.lux | 2 +- stdlib/source/test/lux/meta/compiler/reference.lux | 4 +- stdlib/source/test/lux/meta/configuration.lux | 4 +- stdlib/source/test/lux/meta/macro.lux | 2 +- stdlib/source/test/lux/meta/macro/vocabulary.lux | 12 +- stdlib/source/test/lux/meta/target/js.lux | 48 ++++---- stdlib/source/test/lux/meta/target/jvm.lux | 12 +- stdlib/source/test/lux/meta/target/lua.lux | 64 +++++----- stdlib/source/test/lux/meta/target/python.lux | 28 ++--- stdlib/source/test/lux/meta/target/ruby.lux | 68 +++++------ stdlib/source/test/lux/meta/type.lux | 2 +- stdlib/source/test/lux/meta/type/check.lux | 36 +++--- stdlib/source/test/lux/meta/type/primitive.lux | 8 +- stdlib/source/test/lux/meta/type/row.lux | 4 +- stdlib/source/test/lux/meta/version.lux | 2 +- stdlib/source/test/lux/program.lux | 2 +- stdlib/source/test/lux/test/coverage.lux | 8 +- stdlib/source/test/lux/test/property.lux | 6 +- stdlib/source/test/lux/world/file.lux | 4 +- stdlib/source/test/lux/world/net.lux | 3 + stdlib/source/test/lux/world/net/http/client.lux | 2 +- stdlib/source/test/lux/world/net/http/cookie.lux | 12 +- stdlib/source/test/lux/world/net/http/header.lux | 13 +- stdlib/source/test/lux/world/net/mime.lux | 134 +++++++++++++++++++++ stdlib/source/test/lux/world/net/uri/encoding.lux | 8 +- stdlib/source/test/lux/world/net/uri/path.lux | 2 +- stdlib/source/test/lux/world/time/day.lux | 2 +- stdlib/source/test/lux/world/time/month.lux | 2 +- 80 files changed, 524 insertions(+), 386 deletions(-) create mode 100644 stdlib/source/test/lux/world/net/mime.lux (limited to 'stdlib/source/test') diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 621af00af..f9bf55c4c 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -31,9 +31,9 @@ (Random /.Artifact) (let [size 4] (all random.and - (random.lower_case size) - (random.lower_case size) - (random.lower_case size)))) + (random.lower_cased size) + (random.lower_cased size) + (random.lower_cased size)))) (def .public test Test diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 79b3210ff..6e8aff6b6 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -150,7 +150,7 @@ (<| (_.covering /._) (do [! random.monad] [address (at ! each (text.suffix uri.separator) - (random.upper_case 10))] + (random.upper_cased 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 27c194d84..1f5fc5f8e 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -99,8 +99,8 @@ (text#= (//.remote_project_uri artifact) (/.uri artifact))) (do random.monad - [home (random.lower_case 5) - working_directory (random.lower_case 5) + [home (random.lower_cased 5) + working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (at 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 fa26186ea..30a8b0311 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -111,8 +111,8 @@ (text#= (//.remote_artifact_uri artifact) (/.uri artifact))) (do random.monad - [home (random.lower_case 5) - working_directory (random.lower_case 5) + [home (random.lower_cased 5) + working_directory (random.lower_cased 5) .let [program (program.async (program.mock environment.empty home working_directory)) fs (file.mock (at file.default separator)) repository (///repository/local.repository program fs)]] diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 874c773b3..7edaa1353 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -29,16 +29,16 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.upper_case 1) - home (random.lower_case 10) - working_directory (random.lower_case 10) + [/ (random.upper_cased 1) + home (random.lower_cased 10) + working_directory (random.lower_cased 10) .let [fs (file.mock /) program (program.async (program.mock environment.empty home working_directory)) repo (/.repository program fs)] - uri (random.lower_case 10) + uri (random.lower_cased 10) expected (at ! each (at utf8.codec encoded) - (random.lower_case 10))] + (random.lower_cased 10))] (all _.and (in (do async.monad [before_upload (at repo download uri) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 5a1c21316..4540ee5eb 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -85,14 +85,14 @@ Test (<| (_.covering /._) (do [! random.monad] - [address (random.upper_case 10) - uri (random.lower_case 10) + [address (random.upper_cased 10) + uri (random.lower_cased 10) - user (random.lower_case 10) - password (random.lower_case 10) + user (random.lower_cased 10) + password (random.lower_cased 10) content (at ! each (at utf8.codec encoded) - (random.lower_case 10))] + (random.lower_cased 10))] (all _.and (_.coverage [/.repository /.user_agent /.Address] (let [repo (/.repository (..good_http user password) diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 8a5383eea..f00cf0abc 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -127,7 +127,7 @@ (def for_try Test (do random.monad - [expected_error (random.lower_case 5) + [expected_error (random.lower_cased 5) expected random.nat] (all _.and (_.coverage [/.try] @@ -439,13 +439,13 @@ (..found_crosshair?)))) ... (_.coverage [/.require] ... (`` (with_expansions [ (.in_module# "library/lux" library/lux.refer) - ... (static.random code.text (random.lower_case 1)) - ... (static.random code.local (random.lower_case 1)) - ... (static.random code.text (random.lower_case 2)) + ... (static.random code.text (random.lower_cased 1)) + ... (static.random code.local (random.lower_cased 1)) + ... (static.random code.text (random.lower_cased 2)) ... ' (template.symbol []) - ... (static.random code.text (random.lower_case 3)) + ... (static.random code.text (random.lower_cased 3)) ... ' (template.symbol []) - ... (static.random code.text (random.lower_case 4)) + ... (static.random code.text (random.lower_cased 4)) ... ' (template.symbol []) ... (template.text [ "/" ]) ... (template.text [// ']) @@ -745,7 +745,7 @@ start/b random.nat shift/s random.nat shift/b random.nat - text (random.lower_case 1) + text (random.lower_cased 1) .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) @@ -825,9 +825,9 @@ (def for_associative Test (do random.monad - [left (random.lower_case 1) - mid (random.lower_case 1) - right (random.lower_case 1) + [left (random.lower_cased 1) + mid (random.lower_cased 1) + right (random.lower_cased 1) .let [expected (text.interposed "" (list left mid right))]] (_.coverage [/.all /.left] (with_expansions [ (/.left format @@ -888,7 +888,7 @@ Test (do random.monad [left random.nat - right (random.lower_case 1) + right (random.lower_cased 1) item/0 random.nat item/1 random.nat diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index 8353b2e8a..63ffc3740 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -158,13 +158,13 @@ (in (do async.monad [counter (async.future (/.spawn! ..counter 0)) result (do (try.with async.monad) - [output_1 (/.tell! (count! 1) counter) - output_2 (/.tell! (count! 1) counter) - output_3 (/.tell! (count! 1) counter)] + [output_1 (/.request! (count! 1) counter) + output_2 (/.request! (count! 1) counter) + output_3 (/.request! (count! 1) counter)] (in (and (n.= 1 output_1) (n.= 2 output_2) (n.= 3 output_3))))] - (unit.coverage [/.Message /.tell!] + (unit.coverage [/.Message /.request!] (when result {try.#Success outcome} outcome @@ -202,7 +202,7 @@ (at (list.equivalence n.equivalence) = expected (sequence.list actual)))))) (in (do async.monad [actor (async.future (/.spawn! /.default initial_state)) - actual (/.tell! /.state actor)] + actual (/.request! /.state actor)] (unit.coverage [/.state] (<| (try.else false) (do try.monad @@ -210,8 +210,8 @@ (in (same? initial_state actual))))))) (in (do async.monad [actor (async.future (/.spawn! /.default initial_state)) - before,after (/.tell! (/.update ++) actor) - actual (/.tell! /.state actor)] + before,after (/.request! (/.update ++) actor) + actual (/.request! /.state actor)] (unit.coverage [/.update] (<| (try.else false) (do try.monad @@ -221,9 +221,9 @@ (same? after actual)))))))) (in (do async.monad [actor (async.future (/.spawn! /.default initial_state)) - before,after (/.tell! (/.update ++) actor) - _ (/.tell! (/.reset initial_state) actor) - actual (/.tell! /.state actor)] + before,after (/.request! (/.update ++) actor) + _ (/.request! (/.reset initial_state) actor) + actual (/.request! /.state actor)] (unit.coverage [/.reset] (<| (try.else false) (do try.monad @@ -235,8 +235,8 @@ (in (do async.monad [actor (async.future (/.spawn! (/.validated (n.< initial_state) /.default) initial_state)) - before,after (/.tell! (/.update --) actor) - actual (/.tell! /.state actor)] + before,after (/.request! (/.update --) actor) + actual (/.request! /.state actor)] (unit.coverage [/.validated] (<| (try.else false) (do try.monad @@ -247,9 +247,9 @@ (in (do async.monad [actor (async.future (/.spawn! (/.validated (n.< initial_state) /.default) initial_state)) - before,after (/.tell! (/.update ++) actor) + before,after (/.request! (/.update ++) actor) [cause_of_death state pending] (/.obituary actor) - actual (/.tell! /.state actor)] + actual (/.request! /.state actor)] (unit.coverage [/.invalid] (when [before,after actual] [{try.#Success [before after]} diff --git a/stdlib/source/test/lux/control/concurrency/agent.lux b/stdlib/source/test/lux/control/concurrency/agent.lux index 9627da9f9..2225a8a48 100644 --- a/stdlib/source/test/lux/control/concurrency/agent.lux +++ b/stdlib/source/test/lux/control/concurrency/agent.lux @@ -37,7 +37,7 @@ (async#in {try.#Success (n.+ next current)})) agent)) _ (async.delay 1) - ?state (actor.tell! actor.state agent)] + ?state (actor.request! actor.state agent)] (unit.coverage [/.react!] (when ?state {try.#Success actual} diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index e24d6f52f..5c53597c1 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -22,7 +22,7 @@ (<| (_.covering /._) (do [! random.monad] [expected random.nat - error_message (random.upper_case 5)]) + error_message (random.upper_cased 5)]) (all _.and (_.coverage [/.pre /.pre_condition_failed] (when (try (/.pre (n.even? expected) diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux index a6e4f0d77..fa8161e16 100644 --- a/stdlib/source/test/lux/data/collection/list/property.lux +++ b/stdlib/source/test/lux/data/collection/list/property.lux @@ -52,7 +52,7 @@ (_.for [/.monoid] ($monoid.spec (/.equivalence n.equivalence) /.monoid - (..random 10 (random.lower_case 1) random.nat))) + (..random 10 (random.lower_cased 1) random.nat))) (_.coverage [/.size] (n.= size (/.size sample))) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index ad9427770..691f4d357 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -316,7 +316,7 @@ (random#in [text.new_line "\n"]) (random#in [text.carriage_return "\r"]) (random#in [text.form_feed "\f"]) - (random#in [text.double_quote (format "\" text.double_quote)]) + (random#in [text.double_quote text.double_quote]) (random#in ["\" "\\"]) (do [! random.monad] [char (at ! each (i64.and (hex "FF")) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index a858db473..01f8648c1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -41,8 +41,8 @@ Test (_.for [/.Path] (do [! random.monad] - [expected (random.lower_case /.path_size) - invalid (random.lower_case (++ /.path_size)) + [expected (random.lower_cased /.path_size) + invalid (random.lower_cased (++ /.path_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.path_size)] (`` (all _.and @@ -76,8 +76,8 @@ Test (_.for [/.Name] (do [! random.monad] - [expected (random.lower_case /.name_size) - invalid (random.lower_case (++ /.name_size)) + [expected (random.lower_cased /.name_size) + invalid (random.lower_cased (++ /.name_size)) not_ascii (random.text (random.char (unicode.set [unicode/block.katakana (list)])) /.name_size)] (`` (all _.and @@ -158,10 +158,10 @@ (def entry Test (do [! random.monad] - [expected_path (random.lower_case (-- /.path_size)) + [expected_path (random.lower_cased (-- /.path_size)) expected_moment (at ! each (|>> (n.% 1,0,00,00,00,00,000) .int instant.of_millis) random.nat) - chunk (random.lower_case chunk_size) + chunk (random.lower_cased chunk_size) chunks (at ! each (n.% 100) random.nat) .let [content (|> chunk (list.repeated chunks) @@ -244,7 +244,7 @@ Test (_.for [/.Mode /.mode] (do [! random.monad] - [path (random.lower_case 10) + [path (random.lower_cased 10) modes (random.list 4 ..random_mode) .let [expected_mode (list#mix /.and /.none modes)]] (`` (all _.and @@ -316,9 +316,9 @@ (def ownership Test (do [! random.monad] - [path (random.lower_case /.path_size) - expected (random.lower_case /.name_size) - invalid (random.lower_case (++ /.name_size)) + [path (random.lower_cased /.path_size) + expected (random.lower_cased /.name_size) + invalid (random.lower_cased (++ /.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 99171b434..d192289cf 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -580,7 +580,7 @@ (!expect (^.multi {try.#Success actual} (/#= expected actual)))))) (do [! random.monad] - [invalid (random.upper_case 1) + [invalid (random.upper_cased 1) expected (random.only (|>> (unicode/block.within? unicode/block.upper_case) not) (random.char unicode.character)) @@ -598,8 +598,8 @@ (!expect (^.multi {try.#Failure error} (exception.match? \\parser.expected_to_fail error))))))) (do [! random.monad] - [upper (random.upper_case 1) - lower (random.lower_case 1) + [upper (random.upper_cased 1) + lower (random.lower_cased 1) invalid (random.only (function (_ char) (not (or (unicode/block.within? unicode/block.upper_case char) (unicode/block.within? unicode/block.lower_case char)))) @@ -784,8 +784,8 @@ pre dynamic post dynamic - lower (random.lower_case 1) - upper (random.upper_case 1)] + lower (random.lower_cased 1) + upper (random.upper_cased 1)] (all _.and (_.coverage [/.together] (nat.= (set.size characters) diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 26023e7aa..17a0a1a31 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -60,7 +60,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.upper_case 10) + sample_text (random.upper_cased 10) sample_nat random.nat sample_rev random.rev] (in (`` (and (,, (with_template [ ] @@ -204,7 +204,7 @@ [sample_bit random.bit sample_int random.int sample_frac random.frac - sample_text (random.upper_case 10)] + sample_text (random.upper_cased 10)] (_.coverage [/.inspection] (`` (and (,, (with_template [ ] [(text#= ( ) (/.inspection ))] @@ -301,7 +301,7 @@ Test (<| (_.covering /._) (do random.monad - [expected_message (random.lower_case 5)] + [expected_message (random.lower_cased 5)] (all _.and ..inspection ..representation @@ -310,7 +310,7 @@ (and (exception.match? /.type_hole error) (text.contains? (%.type My_Text) error)))) (do random.monad - [foo (random.upper_case 10) + [foo (random.upper_cased 10) bar random.nat baz random.bit] (_.coverage [/.here] diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index c50dfc7e8..2361c5625 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -694,9 +694,9 @@ (def for_exception Test (do [! random.monad] - [var/0 (random.lower_case 1) - var/1 (random.lower_case 2) - var/2 (random.lower_case 3)] + [var/0 (random.lower_cased 1) + var/1 (random.lower_cased 2) + var/2 (random.lower_cased 3)] (all _.and (_.coverage [/.class_names_cannot_contain_periods] (with_expansions [ (template.symbol ["java.lang.Float"])] diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index d2d81a6b3..52e694e8f 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -22,7 +22,7 @@ [boolean random.bit integer random.int float random.frac - string (random.lower_case 1)] + string (random.lower_cased 1)] (<| (_.covering /._) (`` (all _.and (,, (with_template [ ] diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 5e005f9ff..5579e91dd 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -27,7 +27,7 @@ [boolean random.bit integer random.int float random.frac - string (random.lower_case 1)] + string (random.lower_cased 1)] (<| (_.covering /._) (`` (all _.and (,, (with_template [ ] diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index bec6471d2..4abe04ab7 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -22,7 +22,7 @@ [boolean random.bit integer random.int float random.frac - string (random.lower_case 1)] + string (random.lower_cased 1)] (<| (_.covering /._) (`` (all _.and (,, (with_template [ ] diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index c2be8273d..a94aa11c2 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -33,7 +33,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.lower_case 2)))) +(def expected_string (//.as_string (static.random code.text (random.lower_cased 2)))) (`` (`` (/.export Primitives ... Constants @@ -139,7 +139,7 @@ [char //.as_char ..tiny_int] [float //.as_float ..tiny_frac] [double //.as_double ..tiny_frac] - [string //.as_string (random.lower_case 1)] + [string //.as_string (random.lower_cased 1)] ))] (all _.and (_.coverage [/.export] diff --git a/stdlib/source/test/lux/ffi/node_js.js.lux b/stdlib/source/test/lux/ffi/node_js.js.lux index 82aff3f75..a009751cc 100644 --- a/stdlib/source/test/lux/ffi/node_js.js.lux +++ b/stdlib/source/test/lux/ffi/node_js.js.lux @@ -21,7 +21,7 @@ (in "fs") (in "net") (in "os")) - fake_module (random.upper_case 1)] + fake_module (random.upper_cased 1)] (<| (_.covering /._) (all _.and (_.coverage [/.require] diff --git a/stdlib/source/test/lux/math/random.lux b/stdlib/source/test/lux/math/random.lux index 80e02b2e0..d74b7fc6d 100644 --- a/stdlib/source/test/lux/math/random.lux +++ b/stdlib/source/test/lux/math/random.lux @@ -162,8 +162,8 @@ [/.alphabetic] [/.alpha_numeric] [/.numeric] - [/.upper_case] - [/.lower_case] + [/.upper_cased] + [/.lower_cased] )) (do /.monad [? (distinct nat.equivalence (/.char unicode.character))] diff --git a/stdlib/source/test/lux/meta/code.lux b/stdlib/source/test/lux/meta/code.lux index 7e35b1c9f..eac8000a9 100644 --- a/stdlib/source/test/lux/meta/code.lux +++ b/stdlib/source/test/lux/meta/code.lux @@ -48,13 +48,13 @@ (def local (Random Text) - (random.lower_case 1)) + (random.lower_cased 1)) (def global (Random Symbol) (all random.and - (random.lower_case 1) - (random.lower_case 1) + (random.lower_cased 1) + (random.lower_cased 1) )) (def any_symbol diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux index 3a724d8e5..9f972b10b 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux @@ -215,7 +215,7 @@ random ) random|extension (all random.and - (random.lower_case 1) + (random.lower_cased 1) (random.list multiplicity random) )]) (all random.or @@ -236,7 +236,7 @@ int random.int rev random.rev frac random.frac - text (random.lower_case 1)] + text (random.lower_cased 1)] (`` (all _.and (_.coverage [/.unit] (when (/.unit) @@ -376,10 +376,10 @@ Test (do random.monad [version/0 random.nat - host/0 (random.lower_case 5) + host/0 (random.lower_cased 5) version/1 random.nat - host/1 (random.lower_case 5) - expected_error (random.lower_case 10) + host/1 (random.lower_cased 5) + expected_error (random.lower_cased 10) location/0 /location.random location/1 /location.random configuration ($configuration.random 5) @@ -453,15 +453,15 @@ Test (do random.monad [version random.nat - host (random.lower_case 5) + host (random.lower_cased 5) - expected_module (random.lower_case 10) - dummy_module (random.lower_case 11) + expected_module (random.lower_cased 10) + dummy_module (random.lower_cased 11) location /location.random - expected_file (random.lower_case 12) - expected_code (random.lower_case 13) + expected_file (random.lower_cased 12) + expected_code (random.lower_cased 13) configuration ($configuration.random 5) .let [state (has .#location location diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux index 511285350..21fb6b1df 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux @@ -59,14 +59,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.lower_case 1) + host (random.lower_cased 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def primitive (Random Type) (do random.monad - [name (random.lower_case 1)] + [name (random.lower_cased 1)] (in {.#Primitive name (list)}))) (def analysis @@ -93,7 +93,7 @@ [.Int random.int code.int] [.Rev random.rev code.rev] [.Frac random.frac code.frac] - [.Text (random.lower_case 1) code.text] + [.Text (random.lower_cased 1) code.text] )) ))) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux index 8c93097e9..d6f7fb079 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux @@ -38,7 +38,7 @@ (Random Lux) (do random.monad [version random.nat - host (random.lower_case 1) + host (random.lower_cased 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) @@ -55,7 +55,7 @@ random.nat) choice (at ! each (n.% multiplicity) random.nat) - expected_error (random.upper_case 5) + expected_error (random.upper_cased 5) name ($symbol.random 2 2) mono $code.random diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux index 007d2e71e..da666f219 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux @@ -32,14 +32,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.lower_case 1) + host (random.lower_cased 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def primitive (Random Type) (do random.monad - [name (random.lower_case 1)] + [name (random.lower_cased 1)] (in {.#Primitive name (list)}))) (def (new? hash it) @@ -59,10 +59,10 @@ Test (do [! random.monad] [state ..random_state - name (random.lower_case 1) + name (random.lower_cased 1) hash random.nat - expected_import (random.lower_case 2) - expected_alias (random.lower_case 3)] + expected_import (random.lower_cased 2) + expected_alias (random.lower_cased 3)] (all _.and (_.coverage [/.empty] (..new? hash (/.empty hash))) @@ -130,7 +130,7 @@ Test (do [! random.monad] [state ..random_state - name (random.lower_case 1) + name (random.lower_cased 1) hash random.nat] (`` (all _.and (,, (with_template [ ] @@ -193,16 +193,16 @@ Test (do [! random.monad] [state ..random_state - module_name (random.lower_case 1) + module_name (random.lower_cased 1) hash random.nat - def_name (random.lower_case 2) - alias_name (random.lower_case 3) + def_name (random.lower_cased 2) + alias_name (random.lower_cased 3) public? random.bit def_type ..primitive arity (at ! each (|>> (n.% 10) ++) random.nat) - labels|head (random.lower_case 1) - labels|tail (|> (random.lower_case 1) + labels|head (random.lower_cased 1) + labels|tail (|> (random.lower_cased 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) (at ! each set.list)) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux index a228e3fd3..0bcd9505a 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux @@ -41,7 +41,7 @@ expected_int random.int expected_rev random.rev expected_frac random.frac - expected_text (random.lower_case 2) + expected_text (random.lower_cased 2) expected_lefts random.nat expected_right? random.bit diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux index fe46fa6ae..f4fd18a31 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux @@ -56,8 +56,8 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - name/0 (random.lower_case 1) - name/1 (random.lower_case 2) + name/0 (random.lower_cased 1) + name/1 (random.lower_cased 2) type/0 ($type.random 0) type/1 ($type.random 0)] (all _.and diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux index a334cf0b0..d01895bec 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux @@ -26,7 +26,7 @@ random.int random.rev (random.only (|>> f.not_a_number? not) random.frac) - (random.lower_case 5) + (random.lower_cased 5) )) (def .public test diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux index c360ea593..c6b2fcb7c 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux @@ -31,14 +31,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.lower_case 1) + host (random.lower_cased 1) configuration ($configuration.random 5)] (in (//.state (//.info version host configuration))))) (def primitive (Random Type) (do random.monad - [name (random.lower_case 1)] + [name (random.lower_cased 1)] (in {.#Primitive name (list)}))) (def .public test @@ -51,7 +51,7 @@ expected ..primitive dummy (random.only (|>> (type#= expected) not) ..primitive) - module (random.lower_case 1)] + module (random.lower_cased 1)] (all _.and (_.coverage [/.expecting /.inference] (and (|> (/.inference expected) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux index f459b1735..274a53f4b 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux @@ -906,23 +906,23 @@ int/0 random.int rev/0 random.rev frac/0 random.frac - 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 (at ! each code.local (random.lower_case 11)) - $parameter/0 (at ! each code.local (random.lower_case 12)) - $abstraction/1 (at ! each code.local (random.lower_case 13)) - $parameter/1 (at ! each code.local (random.lower_case 14))]) + text/0 (random.lower_cased 1) + + @any (random.lower_cased 2) + @bit (random.lower_cased 3) + @nat (random.lower_cased 4) + @int (random.lower_cased 5) + @rev (random.lower_cased 6) + @frac (random.lower_cased 7) + @text (random.lower_cased 8) + + @left (random.lower_cased 9) + @right (random.lower_cased 10) + + $abstraction/0 (at ! each code.local (random.lower_cased 11)) + $parameter/0 (at ! each code.local (random.lower_cased 12)) + $abstraction/1 (at ! each code.local (random.lower_cased 13)) + $parameter/1 (at ! each code.local (random.lower_cased 14))]) (all _.and (_.coverage [/.phase] (and (..can_analyse_unit! lux module/0) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux index 6a3dbe760..0fb6d9f54 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux @@ -65,14 +65,14 @@ (Random Lux) (do random.monad [version random.nat - host (random.lower_case 1) + host (random.lower_cased 1) configuration ($configuration.random 5)] (in (//analysis.state (//analysis.info version host configuration))))) (def primitive (Random Type) (do random.monad - [name (random.lower_case 1)] + [name (random.lower_cased 1)] (in {.#Primitive name (list)}))) (def analysis @@ -99,7 +99,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.lower_case 1) code.text] + [.Text (random.lower_cased 1) code.text] )) ))) @@ -222,7 +222,7 @@ types/*,terms/* (random.list arity ..simple_parameter) tag (at ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)] - tags (|> (random.lower_case 1) + tags (|> (random.lower_cased 1) (random.set text.hash arity) (at ! each set.list)) .let [module (product.left name) @@ -438,11 +438,11 @@ arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) slice (at ! each (|>> (n.% (-- arity)) ++) random.nat) [type/0 term/0] ..simple_parameter - slot/0 (random.lower_case 1) + slot/0 (random.lower_cased 1) types/*,terms/* (random.list arity ..simple_parameter) - slots/0 (|> (random.lower_case 1) + slots/0 (|> (random.lower_cased 1) (random.set text.hash arity)) - slots/1 (|> (random.lower_case 1) + slots/1 (|> (random.lower_cased 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/meta/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux index bfc7e48a8..11101a2d1 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux @@ -68,11 +68,11 @@ //extension.#state lux]] input/0 ($type.random 0) input/1 ($type.random 0) - 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) + function/0 (random.lower_cased 1) + function/1 (random.lower_cased 2) + argument/0 (random.lower_cased 3) + argument/1 (random.lower_cased 4) + module/0 (random.lower_cased 5) [output/0 term/0] $//inference.simple_parameter [output/1 term/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) @@ -122,7 +122,7 @@ ... (function? (-> input/0 input/0) $argument/0) ... (function? {.#Named name/0 (-> input/0 output/0)} term/0) - + ... (function? (All (_ a) (-> a a)) $argument/0) ... (function? (Ex (_ a) (-> a a)) $argument/0) ... (function? (Ex (_ a) (-> input/0 a)) term/0) @@ -170,7 +170,7 @@ ... (//phase#each product.right) ... (//phase.result state) ... (try.else false)) - + ... (inferring? (All (_ a) (-> a output/0)) term/0) ... (inferring? (All (_ a) (-> a a)) $argument/0) ... (inferring? (All (_ @0) (-> @0 @0 (And .Bit @0))) @@ -204,7 +204,7 @@ [input/1 term/1] (random.only (|>> product.left (same? input/0) not) $//inference.simple_parameter) output/0 ($type.random 0) - module/0 (random.lower_case 1)] + module/0 (random.lower_cased 1)] (all _.and ... (_.coverage [/.apply] ... (let [reification? (is (-> Type (List Code) Type Bit) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux index 613cfb643..df4348b47 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux @@ -38,11 +38,11 @@ [lux $//type.random_state .let [state [//extension.#bundle //extension.empty //extension.#state lux]] - expected_name (random.lower_case 1) + expected_name (random.lower_cased 1) expected_type ($type.random 0) - expected_module (random.lower_case 2) - import (random.lower_case 3) - expected_label (random.lower_case 4) + expected_module (random.lower_cased 2) + import (random.lower_cased 3) + expected_label (random.lower_cased 4) record? random.bit] (all _.and (_.coverage [/.reference] diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux index f8adedaa1..921b60a3f 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux @@ -82,8 +82,8 @@ (<| (_.covering /._) (do [! random.monad] [version random.nat - host (random.lower_case 1) - module (random.lower_case 2) + host (random.lower_cased 1) + module (random.lower_cased 2) configuration ($configuration.random 5) .let [state (/analysis.state (/analysis.info version host configuration))]] (`` (all _.and diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/when.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/when.lux index 03b491fa7..a488520a8 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/when.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/when.lux @@ -60,14 +60,14 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.lower_case 1) - name/0 (at ! each (|>> [module/0]) (random.lower_case 2)) + module/0 (random.lower_cased 1) + name/0 (at ! each (|>> [module/0]) (random.lower_cased 2)) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter - $binding/0 (at ! each code.local (random.lower_case 3)) - $binding/1 (at ! each code.local (random.lower_case 4)) - $binding/2 (at ! each code.local (random.lower_case 5))] + $binding/0 (at ! each code.local (random.lower_cased 3)) + $binding/1 (at ! each code.local (random.lower_cased 4)) + $binding/2 (at ! each code.local (random.lower_cased 5))] (all _.and (_.coverage [/.tuple] (let [tuple? (is (-> Type Type Bit) @@ -502,18 +502,18 @@ [lux $//type.random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - module/0 (random.lower_case 1) - name/0 (random.lower_case 2) + module/0 (random.lower_cased 1) + name/0 (random.lower_cased 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 (at ! each code.local (random.lower_case 3)) - $binding/1 (at ! each code.local (random.lower_case 4)) - $binding/2 (at ! each code.local (random.lower_case 5)) - extension/0 (at ! each code.text (random.lower_case 6)) + $binding/0 (at ! each code.local (random.lower_cased 3)) + $binding/1 (at ! each code.local (random.lower_cased 4)) + $binding/2 (at ! each code.local (random.lower_cased 5)) + extension/0 (at ! each code.text (random.lower_cased 6)) bit/0 random.bit nat/0 random.nat] (all _.and diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux index 755487cce..138dd3f82 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux @@ -34,7 +34,7 @@ (def .public random (Random (/.Extension Nat)) (all random.and - (random.lower_case 5) + (random.lower_cased 5) (random.list 2 random.nat) )) @@ -105,7 +105,7 @@ Test (do [! random.monad] [state random.int - extension (random.lower_case 1) + extension (random.lower_cased 1) left random.nat right random.nat] (all _.and @@ -143,7 +143,7 @@ (do [! random.monad] [state random.int - extension (random.lower_case 1) + extension (random.lower_cased 1) left random.nat right random.nat] (all _.and @@ -197,7 +197,7 @@ dummy (random.only (|>> (i.= state) not) random.int) expected random.nat - expected_error (random.lower_case 1)] + expected_error (random.lower_cased 1)] (all _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) ..random)) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux index 38cf80869..8d9aebda6 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux @@ -181,7 +181,7 @@ exitC (|> r.int (at ! each code.int))] (all _.and (_.test "Can log messages to standard output." - (check_success+ (symbol .log#) (list logC) Any)) + (check_success+ (symbol .log!#) (list logC) Any)) (_.test "Can throw a run-time error." (check_success+ (symbol .error#) (list logC) Nothing)) ))) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux index 726436046..b21f17d72 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux @@ -24,7 +24,7 @@ random.bit random.i64 random.frac - (random.lower_case 1) + (random.lower_cased 1) )) (def .public test diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive.lux b/stdlib/source/test/lux/meta/compiler/meta/archive.lux index 44b3961ea..1076b0373 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive.lux @@ -49,8 +49,8 @@ (def test|entry Test (do random.monad - [module/0 (random.lower_case 1) - module/1 (random.lower_case 2) + [module/0 (random.lower_cased 1) + module/1 (random.lower_cased 2) signature $/signature.random .let [version (the /signature.#version signature)] fake_version (random.only (|>> (n.= version) not) random.nat) @@ -200,8 +200,8 @@ (<| (_.covering /._) (_.for [/.Archive]) (do random.monad - [module/0 (random.lower_case 1) - module/1 (random.lower_case 2) + [module/0 (random.lower_cased 1) + module/1 (random.lower_cased 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/meta/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux index d88627520..87220c0fd 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux @@ -14,7 +14,7 @@ (def random_definition (Random /.Definition) (all random.and - (random.lower_case 1) + (random.lower_cased 1) (random.maybe (all random.and random.nat @@ -28,11 +28,11 @@ (all random.or (random#in []) ..random_definition - (random.lower_case 2) - (random.lower_case 3) - (random.lower_case 4) - (random.lower_case 5) - (random.lower_case 6) + (random.lower_cased 2) + (random.lower_cased 3) + (random.lower_cased 4) + (random.lower_cased 5) + (random.lower_cased 6) )) (def .public test diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux index 1f711dfd7..0aa690f97 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux @@ -30,11 +30,11 @@ (def .public (random imports) (-> Nat (Random /.Descriptor)) (all random.and - (random.lower_case 1) - (random.lower_case 1) + (random.lower_cased 1) + (random.lower_cased 1) random.nat ..random_module_state - (random.set text.hash imports (random.lower_case 2)) + (random.set text.hash imports (random.lower_cased 2)) )) (def .public test diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux index 5cfb94750..2097736ad 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux @@ -54,12 +54,12 @@ (<| (_.covering /._) (_.for [/.Registry]) (do [! random.monad] - [expected_name (random.lower_case 5) + [expected_name (random.lower_cased 5) mandatory? random.bit expected_dependencies (..random_dependencies 5) expected_amount (at ! each (n.% 10) random.nat) - expected_names (|> (random.lower_case 1) + expected_names (|> (random.lower_cased 1) (random.set text.hash expected_amount) (at ! each set.list))] (`` (all _.and diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux index a44e21510..a5c8c89ee 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux @@ -26,8 +26,8 @@ (Random /.Signature) (all random.and (all random.and - (random.upper_case 1) - (random.lower_case 1)) + (random.upper_cased 1) + (random.lower_cased 1)) ////version.random )) diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux index 9e80f0c14..e6f37d941 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux @@ -45,8 +45,8 @@ [context $context.random .let [/ "/" fs (file.mock /)] - module/0 (random.lower_case 1) - module/1 (random.lower_case 2) + module/0 (random.lower_cased 1) + module/1 (random.lower_cased 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/meta/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux index 2a97eef8a..3b2ca3160 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux @@ -48,11 +48,11 @@ (<| (_.covering /._) (do [! random.monad] [descriptor ($descriptor.random 0) - source_code (random.upper_case 1) - name/0 (random.lower_case 1) + source_code (random.upper_cased 1) + name/0 (random.lower_cased 1) module/0 ($module.random random.nat) content/0 ($binary.random 1) - name/1 (random.lower_case 2) + name/1 (random.lower_cased 2) module/1 (|> ($module.random random.nat) (at ! each (has [module.#descriptor descriptor.#references] (set.of_list text.hash (list name/0))))) diff --git a/stdlib/source/test/lux/meta/compiler/meta/cli.lux b/stdlib/source/test/lux/meta/compiler/meta/cli.lux index 099f0344d..e1ea3f641 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cli.lux @@ -36,12 +36,12 @@ (let [(open "list#[0]") (list.equivalence text.equivalence)]) (do [! random.monad] [amount (at ! each (|>> (n.% 5) ++) random.nat) - 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) - program (random.lower_case 6) + sources (random.list amount (random.lower_cased 1)) + host_dependencies (random.list amount (random.lower_cased 2)) + libraries (random.list amount (random.lower_cased 3)) + target (random.lower_cased 4) + module (random.lower_cased 5) + program (random.lower_cased 6) compilers (random.list amount $/compiler.random) configuration ($configuration.random 5) .let [compilation' (all list#composite diff --git a/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux index c1de82f58..56b917ae1 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux @@ -27,7 +27,7 @@ (do [! random.monad] [definition ($symbol.random 1 1) amount (at ! each (n.% 5) random.nat) - parameters (random.list amount (random.lower_case 2))] + parameters (random.list amount (random.lower_cased 2))] (in [/.#definition definition /.#parameters parameters]))) diff --git a/stdlib/source/test/lux/meta/compiler/meta/context.lux b/stdlib/source/test/lux/meta/compiler/meta/context.lux index 789fb1563..b1f60e864 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/context.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/context.lux @@ -26,14 +26,14 @@ (in /.lua) (in /.python) (in /.ruby))] - (at ! each context (random.lower_case 1)))) + (at ! each context (random.lower_cased 1)))) (def .public test Test (<| (_.covering /._) (_.for [/.Context /.Extension]) (do [! random.monad] - [target (random.lower_case 1)] + [target (random.lower_cased 1)] (all _.and (_.coverage [/.js /.jvm /.lua /.python /.ruby] (let [contexts (list (/.js target) diff --git a/stdlib/source/test/lux/meta/compiler/meta/export.lux b/stdlib/source/test/lux/meta/compiler/meta/export.lux index ac3841ecc..ef9a8a835 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/export.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/export.lux @@ -41,16 +41,16 @@ (<| (_.covering /._) (do [! random.monad] [.let [/ .module_separator] - source/0 (random.lower_case 1) - source/1 (random.lower_case 2) - target (random.lower_case 3) + source/0 (random.lower_cased 1) + source/1 (random.lower_cased 2) + target (random.lower_cased 3) .let [random_file (is (Random file.Path) - (at ! each (text.suffix io.lux_extension) (random.lower_case 4)))] + (at ! each (text.suffix io.lux_extension) (random.lower_cased 4)))] file/0' random_file .let [file/0 (format source/0 / file/0')] - dir/0 (random.lower_case 5) + dir/0 (random.lower_cased 5) file/1' (at ! each (|>> (format dir/0 /)) random_file) .let [file/1 (format source/1 / file/1')] diff --git a/stdlib/source/test/lux/meta/compiler/meta/import.lux b/stdlib/source/test/lux/meta/compiler/meta/import.lux index f48053c98..59dc6d52c 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/import.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/import.lux @@ -45,15 +45,15 @@ (<| (_.covering /._) (_.for [/.Import]) (do [! random.monad] - [library/0 (random.lower_case 1) - library/1 (random.lower_case 2) + [library/0 (random.lower_cased 1) + library/1 (random.lower_cased 2) .let [/ .module_separator random_file (is (Random file.Path) - (at ! each (text.suffix io.lux_extension) (random.lower_case 3)))] + (at ! each (text.suffix io.lux_extension) (random.lower_cased 3)))] file/0 random_file - dir/0 (random.lower_case 4) + dir/0 (random.lower_cased 4) file/1 (at ! each (|>> (format dir/0 /)) random_file) .let [random_content (is (Random Binary) diff --git a/stdlib/source/test/lux/meta/compiler/phase.lux b/stdlib/source/test/lux/meta/compiler/phase.lux index cc82568de..963dd07fd 100644 --- a/stdlib/source/test/lux/meta/compiler/phase.lux +++ b/stdlib/source/test/lux/meta/compiler/phase.lux @@ -50,7 +50,7 @@ (do [! random.monad] [state random.nat expected random.int - expected_error (random.lower_case 1)] + expected_error (random.lower_cased 1)] (all _.and (_.coverage [/.failure] (|> (/.failure expected_error) diff --git a/stdlib/source/test/lux/meta/compiler/reference.lux b/stdlib/source/test/lux/meta/compiler/reference.lux index 139ee891e..a2e0a85ff 100644 --- a/stdlib/source/test/lux/meta/compiler/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/reference.lux @@ -26,8 +26,8 @@ (def constant (Random /.Constant) (all random.and - (random.upper_case 5) - (random.lower_case 5) + (random.upper_cased 5) + (random.lower_cased 5) )) (def .public random diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index 8bc88d2d7..c7d93bd9d 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -33,8 +33,8 @@ (when amount 0 (random#in /.empty) _ (do [! random.monad] - [feature (random.upper_case amount) - value (random.lower_case amount)] + [feature (random.upper_cased amount) + value (random.lower_cased amount)] (at ! each (|>> (list.partial [feature value])) (random (-- amount)))))) diff --git a/stdlib/source/test/lux/meta/macro.lux b/stdlib/source/test/lux/meta/macro.lux index 797c7fac6..3c248df81 100644 --- a/stdlib/source/test/lux/meta/macro.lux +++ b/stdlib/source/test/lux/meta/macro.lux @@ -72,7 +72,7 @@ (Random [Nat Text .Lux]) (do [! random.monad] [seed random.nat - symbol_prefix (random.upper_case 1) + symbol_prefix (random.upper_cased 1) .let [macro_module (symbol.module (symbol expansion._)) current_module (symbol.module (symbol .._))]] (in [seed diff --git a/stdlib/source/test/lux/meta/macro/vocabulary.lux b/stdlib/source/test/lux/meta/macro/vocabulary.lux index 1a04215b3..9b3c76e04 100644 --- a/stdlib/source/test/lux/meta/macro/vocabulary.lux +++ b/stdlib/source/test/lux/meta/macro/vocabulary.lux @@ -19,11 +19,11 @@ [\\library ["[0]" /]]) -(/.vocabulary - [.private Micro] - [.private micro] - [.private macro] - [.private by_name]) +(/.def + [.private Micro] + [.private micro] + [.private macro] + [.private by_name]) (def .public pass_through (.macro (_ inputs lux) @@ -36,7 +36,7 @@ Test (<| (_.covering /._) (all _.and - (_.coverage [/.vocabulary] + (_.coverage [/.def] (exec (|> pass_through (is Macro) diff --git a/stdlib/source/test/lux/meta/target/js.lux b/stdlib/source/test/lux/meta/target/js.lux index eda7a2f72..f305710cf 100644 --- a/stdlib/source/test/lux/meta/target/js.lux +++ b/stdlib/source/test/lux/meta/target/js.lux @@ -74,7 +74,7 @@ [boolean random.bit number random.frac int ..int_32 - string (random.upper_case 5)] + string (random.upper_cased 5)] (all _.and (_.coverage [/.null] (|> /.null @@ -228,9 +228,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.upper_case 5) + field (random.upper_cased 5) dummy (random.only (|>> (text#= field) not) - (random.upper_case 5)) + (random.upper_cased 5)) size (at ! each (|>> (n.% 10) ++) random.nat) index (at ! each (n.% size) random.nat) @@ -262,9 +262,9 @@ boolean random.bit number random.frac - string (random.upper_case 5) + string (random.upper_cased 5) - comment (random.upper_case 10)] + comment (random.upper_cased 10)] (all _.and ..test|boolean ..test|number @@ -326,9 +326,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - foreign (random.lower_case 10) + foreign (random.lower_cased 10) local (random.only (|>> (text#= foreign) not) - (random.lower_case 10)) + (random.lower_cased 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -358,8 +358,8 @@ (do [! random.monad] [number/0 random.safe_frac int/0 ..int_16 - $foreign (at ! each /.var (random.lower_case 10)) - field (random.upper_case 10)] + $foreign (at ! each /.var (random.lower_cased 10)) + field (random.upper_cased 10)] (all _.and (_.coverage [/.set] (and (expression (|>> (as Frac) (f.= (f.+ number/0 number/0))) @@ -452,7 +452,7 @@ full_inner_iterations (at ! each (|>> (n.% 20) ++) random.nat) expected_inner_iterations (at ! each (n.% full_inner_iterations) random.nat) - @outer (at ! each /.label (random.upper_case 5)) + @outer (at ! each /.label (random.upper_cased 5)) full_outer_iterations (at ! each (|>> (n.% 10) ++) random.nat) expected_outer_iterations (at ! each (n.% full_outer_iterations) random.nat) @@ -609,7 +609,7 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $ex (at ! each /.var (random.lower_case 10))] + $ex (at ! each /.var (random.lower_cased 10))] (all _.and (_.coverage [/.try] (expression (|>> (as Frac) (f.= expected)) @@ -633,9 +633,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11)) - $arg/2 (at ! each /.var (random.lower_case 12))] + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11)) + $arg/2 (at ! each /.var (random.lower_cased 12))] (`` (all _.and (_.coverage [/.apply_1] (expression (|>> (as Frac) (f.= number/0)) @@ -665,10 +665,10 @@ (do [! random.monad] [number/0 random.safe_frac iterations (at ! each (n.% 10) random.nat) - $self (at ! each /.var (random.lower_case 1)) - $arg/0 (at ! each /.var (random.lower_case 2)) - field (random.lower_case 3) - $class (at ! each /.var (random.upper_case 4))] + $self (at ! each /.var (random.lower_cased 1)) + $arg/0 (at ! each /.var (random.lower_cased 2)) + field (random.lower_cased 3) + $class (at ! each /.var (random.upper_cased 4))] (all _.and (_.coverage [/.closure /.return] (expression (|>> (as Frac) (f.= number/0)) @@ -709,12 +709,12 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - arg/0 (random.lower_case 10) + arg/0 (random.lower_cased 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.lower_case 10)) + (random.lower_cased 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.lower_case 10)) + (random.lower_cased 10)) .let [$arg/0 (/.var arg/0) $arg/1 (/.var arg/1) $arg/2 (/.var arg/2)] @@ -770,9 +770,9 @@ [number/0 random.safe_frac number/1 random.safe_frac number/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11)) - $arg/2 (at ! each /.var (random.lower_case 12)) + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11)) + $arg/2 (at ! each /.var (random.lower_cased 12)) ??? random.bit int ..int_16] (`` (all _.and diff --git a/stdlib/source/test/lux/meta/target/jvm.lux b/stdlib/source/test/lux/meta/target/jvm.lux index 6330dcbe2..b5039dcaf 100644 --- a/stdlib/source/test/lux/meta/target/jvm.lux +++ b/stdlib/source/test/lux/meta/target/jvm.lux @@ -105,9 +105,9 @@ (def class_name (Random Text) (do random.monad - [super_package (random.lower_case 10) - package (random.lower_case 10) - name (random.upper_case 10)] + [super_package (random.lower_cased 10) + package (random.lower_cased 10) + name (random.upper_cased 10)] (in (format super_package /name.external_separator package /name.external_separator name)))) @@ -124,7 +124,7 @@ (-> (-> Any Bit) (Bytecode Any) (Random Bit)) (do random.monad [class_name ..class_name - method_name (random.upper_case 10)] + method_name (random.upper_cased 10)] (in (when (do try.monad [class (/class.class /version.v6_0 /class.public (/name.internal class_name) @@ -1344,9 +1344,9 @@ (function (_ primitive return substitute test) (do random.monad [class_name ..class_name - primitive_method_name (random.upper_case 10) + primitive_method_name (random.upper_cased 10) .let [primitive_method_type (/type.method [(list) (list) (the #unboxed primitive) (list)])] - object_method_name (|> (random.upper_case 10) + object_method_name (|> (random.upper_cased 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/meta/target/lua.lux b/stdlib/source/test/lux/meta/target/lua.lux index 6d1ba7cb3..4277f7958 100644 --- a/stdlib/source/test/lux/meta/target/lua.lux +++ b/stdlib/source/test/lux/meta/target/lua.lux @@ -52,7 +52,7 @@ [boolean random.bit int random.int float random.frac - string (random.upper_case 5)] + string (random.upper_cased 5)] (all _.and (_.coverage [/.nil] (|> /.nil @@ -185,8 +185,8 @@ (def test|string Test (do random.monad - [left (random.lower_case 8) - right (random.lower_case 8) + [left (random.lower_cased 8) + right (random.lower_cased 8) .let [expected (format left right)]] (all _.and (_.coverage [/.concat] @@ -229,13 +229,13 @@ index (at ! each (n.% size) random.nat) items (random.list size random.safe_frac) - $self (at ! each /.var (random.lower_case 10)) - $table (at ! each /.var (random.lower_case 11)) - $arg (at ! each /.var (random.lower_case 12)) - field (random.upper_case 5) + $self (at ! each /.var (random.lower_cased 10)) + $table (at ! each /.var (random.lower_cased 11)) + $arg (at ! each /.var (random.lower_cased 12)) + field (random.upper_cased 5) non_field (random.only (|>> (text#= field) not) - (random.upper_case 5)) - method (random.upper_case 6)] + (random.upper_cased 5)) + method (random.upper_cased 6)] (all _.and (_.coverage [/.table /.the] (and (expression (|>> (as Frac) (f.= expected)) @@ -267,9 +267,9 @@ boolean random.bit int random.int float random.frac - string (random.upper_case 5) + string (random.upper_cased 5) - comment (random.upper_case 10)] + comment (random.upper_cased 10)] (all _.and ..test|boolean ..test|int @@ -321,9 +321,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - foreign (random.lower_case 10) + foreign (random.lower_cased 10) local (random.only (|>> (text#= foreign) not) - (random.lower_case 10)) + (random.lower_cased 10)) .let [$foreign (/.var foreign) $local (/.var local)]] (all _.and @@ -362,10 +362,10 @@ [float/0 random.safe_frac float/1 random.safe_frac int/0 ..int_16 - $foreign (at ! each /.var (random.lower_case 10)) - $arg/0 (at ! each /.var (random.lower_case 11)) - $arg/1 (at ! each /.var (random.lower_case 12)) - field (random.upper_case 10)] + $foreign (at ! each /.var (random.lower_cased 10)) + $arg/0 (at ! each /.var (random.lower_cased 11)) + $arg/1 (at ! each /.var (random.lower_cased 12)) + field (random.upper_cased 10)] (all _.and (_.coverage [/.set] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -416,11 +416,11 @@ full_iterations (at ! each (|>> (n.% 20) ++) random.nat) expected_iterations (at ! each (|>> (n.% full_iterations) .int) random.nat) - $input (at ! each /.var (random.lower_case 10)) - $output (at ! each /.var (random.lower_case 11)) - $index (at ! each /.var (random.lower_case 12)) + $input (at ! each /.var (random.lower_cased 10)) + $output (at ! each /.var (random.lower_cased 11)) + $index (at ! each /.var (random.lower_cased 12)) - @loop (at ! each /.label (random.lower_case 13)) + @loop (at ! each /.label (random.lower_cased 13)) .let [expected (i.* expected_iterations input) expected_iterations (/.int expected_iterations)]] @@ -562,8 +562,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - $verdict (at ! each /.var (random.lower_case 10)) - $outcome (at ! each /.var (random.lower_case 11))] + $verdict (at ! each /.var (random.lower_cased 10)) + $outcome (at ! each /.var (random.lower_cased 11))] (all _.and (_.coverage [/.pcall/1] (expression (|>> (as Frac) (f.= expected)) @@ -606,10 +606,10 @@ (do [! random.monad] [float/0 random.safe_frac iterations (at ! each (n.% 10) random.nat) - $self (at ! each /.var (random.lower_case 1)) - $arg/0 (at ! each /.var (random.lower_case 2)) - field (random.lower_case 3) - $class (at ! each /.var (random.upper_case 4))] + $self (at ! each /.var (random.lower_cased 1)) + $arg/0 (at ! each /.var (random.lower_cased 2)) + field (random.lower_cased 3) + $class (at ! each /.var (random.upper_cased 4))] (all _.and (_.coverage [/.closure /.return] (expression (|>> (as Frac) (f.= float/0)) @@ -629,9 +629,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11)) - $arg/2 (at ! each /.var (random.lower_case 12))] + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11)) + $arg/2 (at ! each /.var (random.lower_cased 12))] (`` (all _.and (_.coverage [/.apply] (expression (|>> (as Frac) (f.= (all f.+ float/0 float/1 float/2))) @@ -687,8 +687,8 @@ (do [! random.monad] [float/0 random.safe_frac float/1 random.safe_frac - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11))] + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11))] (`` (all _.and (_.coverage [/.statement /.then /.print/1] (expression (|>> (as Frac) (f.= float/0)) diff --git a/stdlib/source/test/lux/meta/target/python.lux b/stdlib/source/test/lux/meta/target/python.lux index b346cb53a..7b0b0d77a 100644 --- a/stdlib/source/test/lux/meta/target/python.lux +++ b/stdlib/source/test/lux/meta/target/python.lux @@ -50,7 +50,7 @@ [bool random.bit float random.frac int random.int - string (random.upper_case 1)] + string (random.upper_cased 1)] (all _.and (_.coverage [/.none] (|> /.none @@ -266,9 +266,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.upper_case 5) + field (random.upper_cased 5) dummy (random.only (|>> (text#= field) not) - (random.upper_case 5)) + (random.upper_cased 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -291,11 +291,11 @@ bool random.bit float (random.only (|>> f.not_a_number? not) random.frac) - string (random.upper_case 5) + string (random.upper_cased 5) - comment (random.upper_case 10) - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11))] + comment (random.upper_cased 10) + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11))] (all _.and ..test|bool ..test|float @@ -338,9 +338,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (at ! each /.var (random.lower_case 10)) - $arg/1 (at ! each /.var (random.lower_case 11)) - $arg/2 (at ! each /.var (random.lower_case 12))] + $arg/0 (at ! each /.var (random.lower_cased 10)) + $arg/1 (at ! each /.var (random.lower_cased 11)) + $arg/2 (at ! each /.var (random.lower_cased 12))] (all _.and (_.coverage [/.lambda] (expression (|>> (as Frac) (f.= float/0)) @@ -449,7 +449,7 @@ [$var/0 (at ! each (|>> %.nat (format "v0_") /.var) random.nat) expected/0 random.safe_frac dummy/0 random.safe_frac - field (at ! each /.string (random.upper_case 1))] + field (at ! each /.string (random.upper_cased 1))] (all _.and (_.coverage [/.item] (`` (and (,, (with_template [] @@ -490,7 +490,7 @@ expected/0 random.safe_frac expected/1 random.safe_frac dummy/0 random.safe_frac - field/0 (at ! each /.string (random.upper_case 1))] + field/0 (at ! each /.string (random.upper_cased 1))] (all _.and (_.coverage [/.set] (|> (..statement @@ -595,7 +595,7 @@ (def test|exception Test (do [! random.monad] - [expected_error (random.upper_case 10) + [expected_error (random.upper_cased 10) expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) @@ -817,7 +817,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.lower_case 1)) + (random#each /.string (random.lower_cased 1)) )) (def .public test diff --git a/stdlib/source/test/lux/meta/target/ruby.lux b/stdlib/source/test/lux/meta/target/ruby.lux index 779af9f0b..f16b93c42 100644 --- a/stdlib/source/test/lux/meta/target/ruby.lux +++ b/stdlib/source/test/lux/meta/target/ruby.lux @@ -64,7 +64,7 @@ [bool random.bit float random.frac int random.int - string (random.upper_case 5)] + string (random.upper_cased 5)] (all _.and (_.coverage [/.nil] (..nil /.nil)) @@ -213,9 +213,9 @@ Test (do [! random.monad] [expected random.safe_frac - field (random.upper_case 5) + field (random.upper_cased 5) dummy (random.only (|>> (text#= field) not) - (random.upper_case 5)) + (random.upper_cased 5)) .let [field (/.string field) dummy (/.string dummy)]] (all _.and @@ -331,11 +331,11 @@ (def test|io Test (<| (do [! random.monad] - [left (random.upper_case 5) - right (random.upper_case 5) - $old (at ! each /.local (random.upper_case 1)) - $new (at ! each /.local (random.upper_case 2)) - $it (at ! each /.local (random.upper_case 3)) + [left (random.upper_cased 5) + right (random.upper_cased 5) + $old (at ! each /.local (random.upper_cased 1)) + $new (at ! each /.local (random.upper_cased 2)) + $it (at ! each /.local (random.upper_cased 3)) .let [expected (format left right)]]) (all _.and (_.for [/.stdout] @@ -407,9 +407,9 @@ bool random.bit float random.frac - string (random.upper_case 5) + string (random.upper_cased 5) - comment (random.upper_case 10)] + comment (random.upper_cased 10)] (all _.and ..test|bool ..test|float @@ -434,8 +434,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $global (at ! each /.global (random.lower_case 10)) - pattern (at ! each /.string (random.lower_case 11))] + $global (at ! each /.global (random.lower_cased 10)) + pattern (at ! each /.string (random.lower_cased 11))] (all _.and (_.coverage [/.global] (expression (|>> (as Text) (text#= "global-variable")) @@ -488,7 +488,7 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (at ! each /.local (random.lower_case 10))] + $foreign (at ! each /.local (random.lower_cased 10))] (all _.and (_.coverage [/.local] (expression (|>> (as Frac) (f.= (f.+ float/0 float/0))) @@ -605,12 +605,12 @@ (def test|variadic Test (do [! random.monad] - [$inputs (at ! each /.local (random.lower_case 10)) + [$inputs (at ! each /.local (random.lower_cased 10)) arity (at ! each (n.% 10) random.nat) vals (|> random.int (at ! each /.int) (random.list arity)) - keys (|> (random.lower_case 1) + keys (|> (random.lower_cased 1) (random.set text.hash arity) (at ! each (|>> set.list (list#each /.string))))] (all _.and @@ -638,9 +638,9 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (at ! each /.local (random.lower_case 10)) + $foreign (at ! each /.local (random.lower_cased 10)) - $constant (at ! each /.constant (random.lower_case 10))] + $constant (at ! each /.constant (random.lower_cased 10))] (all _.and (_.coverage [/.defined?/1] (and (expression (|>> (as Bit)) @@ -675,8 +675,8 @@ Test (do [! random.monad] [float/0 random.safe_frac - $foreign (at ! each /.local (random.lower_case 10)) - field (at ! each /.string (random.upper_case 10))] + $foreign (at ! each /.local (random.lower_cased 10)) + field (at ! each /.string (random.upper_cased 10))] (all _.and (<| (_.for [/.Var]) ..test|var) @@ -826,8 +826,8 @@ [expected random.safe_frac dummy (random.only (|>> (f.= expected) not) random.safe_frac) - error (random.lower_case 10) - $ex (at ! each /.local (random.lower_case 10)) + error (random.lower_cased 10) + $ex (at ! each /.local (random.lower_cased 10)) expected_tag ..random_tag dummy_tag (random.only (|>> (i.= expected_tag) not) @@ -906,16 +906,16 @@ Test (do [! random.monad] [iterations (at ! each (n.% 10) random.nat) - $self (at ! each /.local (random.lower_case 1)) - field (random.lower_case 3) - $class (at ! each /.local (random.upper_case 4)) + $self (at ! each /.local (random.lower_cased 1)) + field (random.lower_cased 3) + $class (at ! each /.local (random.upper_cased 4)) float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (at ! each /.local (random.lower_case 10)) - $arg/1 (at ! each /.local (random.lower_case 11)) - $arg/2 (at ! each /.local (random.lower_case 12))] + $arg/0 (at ! each /.local (random.lower_cased 10)) + $arg/1 (at ! each /.local (random.lower_cased 11)) + $arg/2 (at ! each /.local (random.lower_cased 12))] (all _.and (_.coverage [/.lambda /.return] (and (expression (|>> (as Frac) (f.= float/0)) @@ -959,12 +959,12 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - arg/0 (random.lower_case 10) + arg/0 (random.lower_cased 10) arg/1 (random.only (|>> (text#= arg/0) not) - (random.lower_case 10)) + (random.lower_cased 10)) arg/2 (random.only (predicate.and (|>> (text#= arg/0) not) (|>> (text#= arg/1) not)) - (random.lower_case 10)) + (random.lower_cased 10)) .let [$arg/0 (/.local arg/0) $arg/1 (/.local arg/1) $arg/2 (/.local arg/2)] @@ -993,9 +993,9 @@ [float/0 random.safe_frac float/1 random.safe_frac float/2 random.safe_frac - $arg/0 (at ! each /.local (random.lower_case 10)) - $arg/1 (at ! each /.local (random.lower_case 11)) - $arg/2 (at ! each /.local (random.lower_case 12)) + $arg/0 (at ! each /.local (random.lower_cased 10)) + $arg/1 (at ! each /.local (random.lower_cased 11)) + $arg/2 (at ! each /.local (random.lower_cased 12)) expected (at ! each (|>> %.int (text.replaced "+" "")) random.int)] (all _.and @@ -1036,7 +1036,7 @@ (random#each /.bool random.bit) (random#each /.float random.frac) (random#each /.int random.int) - (random#each /.string (random.lower_case 5)) + (random#each /.string (random.lower_cased 5)) ))] (all random.either literal diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux index e4c8ad2ea..488bdabc0 100644 --- a/stdlib/source/test/lux/meta/type.lux +++ b/stdlib/source/test/lux/meta/type.lux @@ -522,7 +522,7 @@ true))) (do random.monad [left random.nat - right (random.lower_case 1) + right (random.lower_cased 1) .let [left,right [left right]]] (_.coverage [/.as] (|> left,right diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux index 441070482..05b6dcba4 100644 --- a/stdlib/source/test/lux/meta/type/check.lux +++ b/stdlib/source/test/lux/meta/type/check.lux @@ -121,7 +121,7 @@ (def (primitive_type parameters) (-> Nat (Random Type)) (do random.monad - [primitive (random.upper_case 3) + [primitive (random.upper_cased 3) parameters (random.list parameters (primitive_type (-- parameters)))] (in {.#Primitive primitive parameters}))) @@ -139,7 +139,7 @@ ex random.nat] (all _.and (do random.monad - [expected (random.upper_case 10)] + [expected (random.upper_cased 10)] (_.coverage [/.failure] (when (/.result /.fresh_context (is (/.Check Any) @@ -147,7 +147,7 @@ {try.#Success _} false {try.#Failure actual} (same? expected actual)))) (do random.monad - [expected (random.upper_case 10)] + [expected (random.upper_cased 10)] (_.coverage [/.assertion] (and (when (/.result /.fresh_context (is (/.Check Any) @@ -209,7 +209,7 @@ {try.#Success verdict} verdict {try.#Failure error} false)) (do random.monad - [nominal (random.upper_case 10)] + [nominal (random.upper_cased 10)] (_.coverage [/.bind] (when (/.result /.fresh_context (do /.monad @@ -220,7 +220,7 @@ {try.#Success _} true {try.#Failure error} false))) (do random.monad - [nominal (random.upper_case 10)] + [nominal (random.upper_cased 10)] (_.coverage [/.bound?] (and (|> (do /.monad [[var_id var_type] /.var @@ -243,7 +243,7 @@ (/.result /.fresh_context) (try.else false))))) (do random.monad - [nominal (random.upper_case 10)] + [nominal (random.upper_cased 10)] (_.coverage [/.cannot_rebind_var] (when (/.result /.fresh_context (do /.monad @@ -258,7 +258,7 @@ {try.#Failure error} (exception.match? /.cannot_rebind_var error)))) (do random.monad - [nominal (random.upper_case 10) + [nominal (random.upper_cased 10) var_id random.nat] (_.coverage [/.unknown_type_var] (when (/.result /.fresh_context @@ -270,7 +270,7 @@ {try.#Failure error} (exception.match? /.unknown_type_var error)))) (do random.monad - [nominal (random.upper_case 10) + [nominal (random.upper_cased 10) .let [expected {.#Primitive nominal (list)}]] (_.coverage [/.peek] (and (|> (do /.monad @@ -298,7 +298,7 @@ _ false))))) (do random.monad - [nominal (random.upper_case 10) + [nominal (random.upper_cased 10) .let [expected {.#Primitive nominal (list)}]] (_.coverage [/.read] (when (/.result /.fresh_context @@ -312,7 +312,7 @@ _ false))) (do random.monad - [nominal (random.upper_case 10) + [nominal (random.upper_cased 10) .let [expected {.#Primitive nominal (list)}]] (_.coverage [/.unbound_type_var] (when (/.result /.fresh_context @@ -382,7 +382,7 @@ (def nominal (Random Type) (do random.monad - [name (random.upper_case 10)] + [name (random.upper_cased 10)] (in {.#Primitive name (list)}))) (def (non_twins = random) @@ -664,7 +664,7 @@ Test (do [! random.monad] [nominal ..nominal - [name/0 name/1] (..non_twins text#= (random.upper_case 10)) + [name/0 name/1] (..non_twins text#= (random.upper_cased 10)) [parameter/0 parameter/1] (..non_twins //#= ..nominal) left_name ..symbol right_name ..symbol @@ -692,8 +692,8 @@ (function.constant {.#Ex id})) random.nat) (do random.monad - [module (random.upper_case 10) - short (random.upper_case 10) + [module (random.upper_cased 10) + short (random.upper_cased 10) anonymousT dirty_type] (in (function (_ holeT) {.#Named [module short] (anonymousT holeT)}))) @@ -710,7 +710,7 @@ [.#Apply] )) (do [! random.monad] - [name (random.upper_case 10) + [name (random.upper_cased 10) parameterT dirty_type] (in (function (_ holeT) {.#Primitive name (list (parameterT holeT))}))) @@ -765,7 +765,7 @@ (def for_subsumption|nominal (Random Bit) (do random.monad - [primitive (random.upper_case 10) + [primitive (random.upper_cased 10) example ..clean_type] (in (and (/.subsumes? {.#Primitive primitive (list)} {.#Primitive primitive (list)}) @@ -847,8 +847,8 @@ (def for_subsumption|named (Random Bit) (do random.monad - [module (random.upper_case 10) - short (random.upper_case 10) + [module (random.upper_cased 10) + short (random.upper_cased 10) example ..clean_type] (in (and (/.subsumes? {.#Named [module short] example} example) diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux index d87a17059..37284d46e 100644 --- a/stdlib/source/test/lux/meta/type/primitive.lux +++ b/stdlib/source/test/lux/meta/type/primitive.lux @@ -35,18 +35,18 @@ [specific (/.specific (template.text [g!Foo]))] ) - (/.primitive (g!Foo a) + (/.def (g!Foo a) Text - (/.primitive (g!Bar a) + (/.def (g!Bar a) Nat (def .public test Test (<| (_.covering /._) - (_.for [/.primitive]) + (_.for [/.def]) (do random.monad - [expected_foo (random.lower_case 5) + [expected_foo (random.lower_cased 5) expected_bar random.nat] (all _.and (_.coverage [/.abstraction] diff --git a/stdlib/source/test/lux/meta/type/row.lux b/stdlib/source/test/lux/meta/type/row.lux index 49988cc33..fb2abf4de 100644 --- a/stdlib/source/test/lux/meta/type/row.lux +++ b/stdlib/source/test/lux/meta/type/row.lux @@ -67,8 +67,8 @@ random.instant) expected_life_span (random.maybe random.duration) - dummy_name (random.upper_case 1) - expected_name (random.upper_case 2) + dummy_name (random.upper_cased 1) + expected_name (random.upper_cased 2) dummy_id random.nat expected_id (random.only (|>> (n.= dummy_id) not) random.nat)]) diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 2182f3197..7ed9789c0 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -38,7 +38,7 @@ Test (<| (_.covering /._) (with_expansions [ (/.current) - (static.random code.text (random.lower_case 1))]) + (static.random code.text (random.lower_cased 1))]) (all _.and (_.coverage [/.latest] (n.> 0 /.latest)) diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index dbe034606..90e5aae43 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -96,7 +96,7 @@ Test (<| (_.covering /._) (do random.monad - [inputs (random.list 5 (random.upper_case 5))] + [inputs (random.list 5 (random.upper_cased 5))] (all _.and (_.coverage [/.Program /.program] (let [(open "list#[0]") (list.equivalence text.equivalence)] diff --git a/stdlib/source/test/lux/test/coverage.lux b/stdlib/source/test/lux/test/coverage.lux index a7407ee6c..eaab13849 100644 --- a/stdlib/source/test/lux/test/coverage.lux +++ b/stdlib/source/test/lux/test/coverage.lux @@ -44,10 +44,10 @@ (<| (_.covering /._) (_.for [/.Coverage]) (do [! random.monad] - [module (random.upper_case 1) - first (random.lower_case 2) - second (random.lower_case 3) - dummy (random.lower_case 4)]) + [module (random.upper_cased 1) + first (random.lower_cased 2) + second (random.lower_cased 3) + dummy (random.lower_cased 4)]) (all _.and (`` (_.coverage [/.of] (and (let [[module _] (symbol .._) diff --git a/stdlib/source/test/lux/test/property.lux b/stdlib/source/test/lux/test/property.lux index e1bc232dd..dfaaddac5 100644 --- a/stdlib/source/test/lux/test/property.lux +++ b/stdlib/source/test/lux/test/property.lux @@ -180,11 +180,11 @@ (<| (/.covering /._) (/.for [/.Test]) (do [! random.monad] - [expected_context (random.lower_case 5) + [expected_context (random.lower_cased 5) expected_message/0 (random.only (|>> (text#= expected_context) not) - (random.lower_case 5)) + (random.lower_cased 5)) expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.lower_case 5))] + (random.lower_cased 5))] (all /.and (/.for [/.Seed] seed) diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 477b09110..35402d81a 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -246,8 +246,8 @@ Test (<| (_.covering /._) (do [! random.monad] - [/ (random.upper_case 1) - file (random.lower_case 1)] + [/ (random.upper_cased 1) + file (random.lower_cased 1)] (all _.and (_.for [/.mock] ($/.spec (io.io (/.mock /)))) diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux index e7780f688..9856b8a00 100644 --- a/stdlib/source/test/lux/world/net.lux +++ b/stdlib/source/test/lux/world/net.lux @@ -10,6 +10,7 @@ [\\library ["[0]" /]] ["[0]" / + ["[1][0]" mime] ["[1][0]" http ["[1]/[0]" client] ["[1]/[0]" cookie] @@ -36,6 +37,8 @@ (_.coverage [/.Address] true) + /mime.test + /http/client.test /http/cookie.test /http/header.test diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index ce0a35e93..ed3eb915c 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -69,7 +69,7 @@ on_options random.nat on_trace random.nat num_headers (at ! each (nat.% 10) random.nat) - headers (random.dictionary text.hash num_headers (random.lower_case 3) (random.lower_case 3)) + headers (random.dictionary text.hash num_headers (random.lower_cased 3) (random.lower_cased 3)) .let [mock (is (/.Client IO) (implementation (def (request method url headers data) diff --git a/stdlib/source/test/lux/world/net/http/cookie.lux b/stdlib/source/test/lux/world/net/http/cookie.lux index 8ce0ef756..057da292b 100644 --- a/stdlib/source/test/lux/world/net/http/cookie.lux +++ b/stdlib/source/test/lux/world/net/http/cookie.lux @@ -34,9 +34,9 @@ Test (<| (_.covering /._) (do [! random.monad] - [name (random.upper_case 1) - fake_name (random.upper_case 2) - expected (random.lower_case 1) + [name (random.upper_cased 1) + fake_name (random.upper_cased 2) + expected (random.lower_cased 1) .let [cookie (is (/.Cookie Text) [/.#name name /.#in (|>>) @@ -48,12 +48,12 @@ duration random.duration instant random.instant - domain (random.lower_case 2) - path (random.lower_case 3)]) + domain (random.lower_cased 2) + path (random.lower_cased 3)]) (_.for [/.Cookie /.#name /.#in /.#out]) (all _.and (_.for [/.equivalence] - (equivalenceS.spec /.equivalence (..random (list [cookie (random.lower_case 1)])))) + (equivalenceS.spec /.equivalence (..random (list [cookie (random.lower_cased 1)])))) (_.for [/.Jar] (all _.and (_.coverage [/.empty] diff --git a/stdlib/source/test/lux/world/net/http/header.lux b/stdlib/source/test/lux/world/net/http/header.lux index 50b25f24b..7302fd653 100644 --- a/stdlib/source/test/lux/world/net/http/header.lux +++ b/stdlib/source/test/lux/world/net/http/header.lux @@ -18,8 +18,9 @@ [\\library ["[0]" / (.only) [// - ["[0]" mime (.use "[1]#[0]" equivalence)] - ["[0]" cookie (.only Cookie)]]]]) + ["[0]" cookie (.only Cookie)] + [// + ["[0]" mime (.use "[1]#[0]" equivalence)]]]]]) (def .public test Test @@ -30,8 +31,8 @@ (random#in mime.jpeg)) expected_location (random.either (random#in "http://example.com/yolo") (random#in "http://example.com/meme")) - header_name (random.lower_case 1) - expected_header_value (random.upper_case 1) + header_name (random.lower_cased 1) + expected_header_value (random.upper_cased 1) .let [header (is (/.Header Text) [/.#name header_name /.#in (|>>) @@ -72,8 +73,8 @@ (try#each (text#= expected_location)) (try.else false))) (do ! - [name (random.upper_case 1) - expected_value (random.lower_case 1) + [name (random.upper_cased 1) + expected_value (random.lower_cased 1) .let [cookie (is (Cookie Text) [cookie.#name name cookie.#in (|>>) diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux new file mode 100644 index 000000000..8c5c84033 --- /dev/null +++ b/stdlib/source/test/lux/world/net/mime.lux @@ -0,0 +1,134 @@ +(.require + [library + [lux (.except) + [abstract + [monad (.only do)] + [\\specification + ["[0]S" equivalence] + ["[0]S" hash]]] + [data + ["[0]" text (.only) + ["[0]" encoding (.only) + ["[1]T" \\test]]] + [collection + ["[0]" list] + ["[0]" set]]] + [math + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] + [number + ["n" nat]]] + [test + ["_" property (.only Test)]]]] + [\\library + ["[0]" /]]) + +(with_expansions [ (these [/.aac] + [/.abiword] + [/.avi] + [/.amazon_kindle_ebook] + [/.binary] + [/.bitmap] + [/.bzip] + [/.bzip2] + [/.c_shell] + [/.css] + [/.csv] + [/.microsoft_word] + [/.microsoft_word_openxml] + [/.ms_embedded_opentype_fonts] + [/.epub] + [/.ecmascript] + [/.gif] + [/.html] + [/.icon] + [/.icalendar] + [/.jar] + [/.jpeg] + [/.javascript] + [/.json] + [/.midi] + [/.mpeg] + [/.apple_installer_package] + [/.opendocument_presentation] + [/.opendocument_spreadsheet] + [/.opendocument_text] + [/.ogg_audio] + [/.ogg_video] + [/.ogg] + [/.opentype_font] + [/.png] + [/.pdf] + [/.microsoft_powerpoint] + [/.microsoft_powerpoint_openxml] + [/.rar] + [/.rtf] + [/.bourne_shell] + [/.svg] + [/.flash] + [/.tar] + [/.tiff] + [/.typescript] + [/.truetype_font] + [/.microsoft_visio] + [/.wav] + [/.webm_audio] + [/.webm_video] + [/.webp] + [/.woff] + [/.woff2] + [/.xhtml] + [/.microsoft_excel] + [/.microsoft_excel_openxml] + [/.xml] + [/.xul] + [/.zip] + + [/.audio_3gpp] + [/.video_3gpp] + [/.audio_3gpp2] + [/.video_3gpp2] + [/.compressed_7z] + + [/.utf_8]) + (with_template [] + [] + + )] + (def .public random + (Random /.MIME) + (`` (all random.either + (,, (with_template [] + [(random#in )] + + )) + ))) + + (def .public test + Test + (<| (_.covering /._) + (do [! random.monad] + [expected ..random + encoding encodingT.random]) + (_.for [/.MIME]) + (all _.and + (_.for [/.equivalence] + (equivalenceS.spec /.equivalence ..random)) + (_.for [/.hash] + (hashS.spec /.hash ..random)) + + (_.coverage [/.mime /.name] + (|> expected + /.name + /.mime + (at /.equivalence = expected))) + (_.coverage [] + (let [options (list ) + uniques (set.of_list /.hash options)] + (n.= (list.size options) + (set.size uniques)))) + (_.coverage [/.text] + (|> (/.text encoding) + /.name + (text.contains? (encoding.name encoding)))) + ))) + ) diff --git a/stdlib/source/test/lux/world/net/uri/encoding.lux b/stdlib/source/test/lux/world/net/uri/encoding.lux index f9a627e25..0bdb9a7a0 100644 --- a/stdlib/source/test/lux/world/net/uri/encoding.lux +++ b/stdlib/source/test/lux/world/net/uri/encoding.lux @@ -27,11 +27,11 @@ (let [choices (set.list /.reserved) variety (list.size choices)]) (do [! random.monad] - [safe (random.lower_case 1) + [safe (random.lower_cased 1) - left (random.lower_case 1) - middle (random.lower_case 1) - right (random.lower_case 1) + left (random.lower_cased 1) + middle (random.lower_cased 1) + right (random.lower_cased 1) left_choice (at ! each (n.% variety) random.nat) right_choice (at ! each (n.% variety) random.nat) .let [left_choice (maybe.trusted (list.item left_choice choices)) diff --git a/stdlib/source/test/lux/world/net/uri/path.lux b/stdlib/source/test/lux/world/net/uri/path.lux index 1a6c15a53..968fd990c 100644 --- a/stdlib/source/test/lux/world/net/uri/path.lux +++ b/stdlib/source/test/lux/world/net/uri/path.lux @@ -21,7 +21,7 @@ (<| (_.covering /._) (do [! random.monad] [segments (at ! each (n.% 10) random.nat) - segments (random.list segments (random.lower_case 1))]) + segments (random.list segments (random.lower_cased 1))]) (_.for [/.Path]) (all _.and (_.coverage [/.path /.Segment /.separator] diff --git a/stdlib/source/test/lux/world/time/day.lux b/stdlib/source/test/lux/world/time/day.lux index a893a1405..6f1ea4b3d 100644 --- a/stdlib/source/test/lux/world/time/day.lux +++ b/stdlib/source/test/lux/world/time/day.lux @@ -72,7 +72,7 @@ [/.#Friday /.#Saturday /.#Sunday] )) (do random.monad - [not_a_day (random.upper_case 1)] + [not_a_day (random.upper_cased 1)] (_.coverage [/.not_a_day_of_the_week] (when (at /.codec decoded not_a_day) {try.#Failure error} diff --git a/stdlib/source/test/lux/world/time/month.lux b/stdlib/source/test/lux/world/time/month.lux index d259985c6..620af8077 100644 --- a/stdlib/source/test/lux/world/time/month.lux +++ b/stdlib/source/test/lux/world/time/month.lux @@ -109,7 +109,7 @@ (list#mix n.+ 0) (n.= expected)))) (do random.monad - [not_a_month (random.upper_case 1)] + [not_a_month (random.upper_cased 1)] (_.coverage [/.not_a_month_of_the_year] (when (at /.codec decoded not_a_month) {try.#Failure error} -- cgit v1.2.3