diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/list/property.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/format/json.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/format/tar.lux | 20 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text.lux | 10 |
4 files changed, 17 insertions, 17 deletions
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) |