aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux6
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux10
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux10
-rw-r--r--stdlib/source/test/lux.lux22
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux28
-rw-r--r--stdlib/source/test/lux/control/concurrency/agent.lux2
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/list/property.lux2
-rw-r--r--stdlib/source/test/lux/data/format/json.lux2
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux20
-rw-r--r--stdlib/source/test/lux/data/text.lux10
-rw-r--r--stdlib/source/test/lux/debug.lux8
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux6
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/test/lux/ffi.py.lux2
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux4
-rw-r--r--stdlib/source/test/lux/ffi/node_js.js.lux2
-rw-r--r--stdlib/source/test/lux/math/random.lux4
-rw-r--r--stdlib/source/test/lux/meta/code.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux20
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux22
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux34
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux14
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux16
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux8
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/when.lux22
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux8
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive.lux8
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux12
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cli.lux12
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/context.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/export.lux10
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/import.lux8
-rw-r--r--stdlib/source/test/lux/meta/compiler/phase.lux2
-rw-r--r--stdlib/source/test/lux/meta/compiler/reference.lux4
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux4
-rw-r--r--stdlib/source/test/lux/meta/macro.lux2
-rw-r--r--stdlib/source/test/lux/meta/macro/vocabulary.lux12
-rw-r--r--stdlib/source/test/lux/meta/target/js.lux48
-rw-r--r--stdlib/source/test/lux/meta/target/jvm.lux12
-rw-r--r--stdlib/source/test/lux/meta/target/lua.lux64
-rw-r--r--stdlib/source/test/lux/meta/target/python.lux28
-rw-r--r--stdlib/source/test/lux/meta/target/ruby.lux68
-rw-r--r--stdlib/source/test/lux/meta/type.lux2
-rw-r--r--stdlib/source/test/lux/meta/type/check.lux36
-rw-r--r--stdlib/source/test/lux/meta/type/primitive.lux8
-rw-r--r--stdlib/source/test/lux/meta/type/row.lux4
-rw-r--r--stdlib/source/test/lux/meta/version.lux2
-rw-r--r--stdlib/source/test/lux/program.lux2
-rw-r--r--stdlib/source/test/lux/test/coverage.lux8
-rw-r--r--stdlib/source/test/lux/test/property.lux6
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/net.lux3
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux2
-rw-r--r--stdlib/source/test/lux/world/net/http/cookie.lux12
-rw-r--r--stdlib/source/test/lux/world/net/http/header.lux13
-rw-r--r--stdlib/source/test/lux/world/net/mime.lux134
-rw-r--r--stdlib/source/test/lux/world/net/uri/encoding.lux8
-rw-r--r--stdlib/source/test/lux/world/net/uri/path.lux2
-rw-r--r--stdlib/source/test/lux/world/time/day.lux2
-rw-r--r--stdlib/source/test/lux/world/time/month.lux2
80 files changed, 524 insertions, 386 deletions
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 [<referral> (.in_module# "library/lux" library/lux.refer)
- ... <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))
+ ... <alias> (static.random code.text (random.lower_cased 1))
+ ... <definition> (static.random code.local (random.lower_cased 1))
+ ... <module/0> (static.random code.text (random.lower_cased 2))
... <module/0>' (template.symbol [<module/0>])
- ... <module/1> (static.random code.text (random.lower_case 3))
+ ... <module/1> (static.random code.text (random.lower_cased 3))
... <module/1>' (template.symbol [<module/1>])
- ... <module/2> (static.random code.text (random.lower_case 4))
+ ... <module/2> (static.random code.text (random.lower_cased 4))
... <module/2>' (template.symbol [<module/2>])
... <m0/1> (template.text [<module/0> "/" <module/1>])
... <//> (template.text [// <module/2>'])
@@ -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_association> (/.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 [<type> <format> <sample>]
@@ -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 [<format> <sample>]
[(text#= (<format> <sample>) (/.inspection <sample>))]
@@ -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 [<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 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 [<type> <sample>]
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 [<type> <sample>]
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 [<type> <sample>]
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 [<set> <query> <not/0> <not/1>]
@@ -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 [<seq>]
@@ -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> (/.current)
- <fake> (static.random code.text (random.lower_case 1))])
+ <fake> (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 [<options> (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])
+ <types> (with_template [<type>]
+ [<type>]
+
+ <options>)]
+ (def .public random
+ (Random /.MIME)
+ (`` (all random.either
+ (,, (with_template [<type>]
+ [(random#in <type>)]
+
+ <options>))
+ )))
+
+ (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 [<types>]
+ (let [options (list <types>)
+ 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}