aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/meta.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/meta.lux100
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}