diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/meta.lux | 100 |
1 files changed, 50 insertions, 50 deletions
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 3f69f4e5f..03c6c9b2e 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -46,16 +46,16 @@ (def: compiler_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - configuration_feature (random.ascii/upper 1) - configuration_value (random.ascii/upper 1) + configuration_feature (random.upper_case 1) + configuration_value (random.upper_case 1) .let [configuration (list [configuration_feature configuration_value]) expected_lux [.#info [.#target target .#version version @@ -107,15 +107,15 @@ (def: error_handling Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) - primitive_type (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_error (random.ascii/upper 1) + expected_error (random.upper_case 1) .let [expected_lux [.#info [.#target target .#version version .#mode {.#Build} @@ -193,21 +193,21 @@ (def: module_related Test (do random.monad - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) imported_module_name (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - primitive_type (random.ascii/upper 1) + (random.upper_case 1)) + primitive_type (random.upper_case 1) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - expected_short (random.ascii/upper 1) + expected_short (random.upper_case 1) dummy_module (random.only (function (_ module) (not (or (text#= expected_current_module module) (text#= imported_module_name module)))) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [imported_module [.#module_hash 0 .#module_aliases (list) .#definitions (list) @@ -304,19 +304,19 @@ (def: random_location (Random Location) (all random.and - (random.ascii/upper 1) + (random.upper_case 1) random.nat random.nat)) (def: context_related (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -375,13 +375,13 @@ (def: definition_related Test (do [! random.monad] - [expected_current_module (random.ascii/upper 1) + [expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -491,13 +491,13 @@ Test (do [! random.monad] [expected_exported? random.bit - expected_current_module (random.ascii/upper 1) + expected_current_module (random.upper_case 1) expected_macro_module (random.only (|>> (text#= expected_current_module) not) - (random.ascii/upper 1)) - expected_short (random.ascii/upper 1) + (random.upper_case 1)) + expected_short (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -664,20 +664,20 @@ (def: label_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) + [current_module (random.upper_case 1) label_module (random.only (|>> (text#= current_module) not) - (random.ascii/upper 1)) + (random.upper_case 1)) - name_0 (random.ascii/upper 1) + name_0 (random.upper_case 1) name_1 (random.only (|>> (text#= name_0) not) - (random.ascii/upper 1)) + (random.upper_case 1)) .let [random_tag (# ! each (|>> [label_module]) - (random.ascii/upper 1)) + (random.upper_case 1)) random_labels (is (Random [Text (List Text)]) (do ! - [head (random.ascii/lower 5)] - (|> (random.ascii/lower 5) + [head (random.lower_case 5)] + (|> (random.lower_case 5) (random.only (|>> (text#= head) not)) (random.set text.hash 3) (# ! each set.list) @@ -803,8 +803,8 @@ (def: locals_related Test (do [! random.monad] - [current_module (random.ascii/upper 1) - [name_0 name_1 name_2 name_3 name_4] (|> (random.ascii/upper 1) + [current_module (random.upper_case 1) + [name_0 name_1 name_2 name_3 name_4] (|> (random.upper_case 1) (random.set text.hash 5) (# ! each set.list) (random.one (function (_ values) @@ -947,13 +947,13 @@ (_.for [.Meta .Lux]) (all _.and (do [! random.monad] - [target (random.ascii/upper 1) - version (random.ascii/upper 1) - source_code (random.ascii/upper 1) - expected_current_module (random.ascii/upper 1) + [target (random.upper_case 1) + version (random.upper_case 1) + source_code (random.upper_case 1) + expected_current_module (random.upper_case 1) expected_type (# ! each (function (_ name) {.#Primitive name (list)}) - (random.ascii/upper 1)) + (random.upper_case 1)) expected_seed random.nat expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) @@ -986,7 +986,7 @@ (do random.monad [expected_value random.nat - expected_error (random.ascii/upper 1)] + expected_error (random.upper_case 1)] (_.cover [/.lifted] (and (|> expected_error {try.#Failure} |