From 8d4c256f8b56561869c14df02db695d774c74fa6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 24 Oct 2022 19:28:57 -0400 Subject: Minor naming & syntax improvements. --- stdlib/source/test/lux.lux | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'stdlib/source/test/lux.lux') diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 8a5383eea..f00cf0abc 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -127,7 +127,7 @@ (def for_try Test (do random.monad - [expected_error (random.lower_case 5) + [expected_error (random.lower_cased 5) expected random.nat] (all _.and (_.coverage [/.try] @@ -439,13 +439,13 @@ (..found_crosshair?)))) ... (_.coverage [/.require] ... (`` (with_expansions [ (.in_module# "library/lux" library/lux.refer) - ... (static.random code.text (random.lower_case 1)) - ... (static.random code.local (random.lower_case 1)) - ... (static.random code.text (random.lower_case 2)) + ... (static.random code.text (random.lower_cased 1)) + ... (static.random code.local (random.lower_cased 1)) + ... (static.random code.text (random.lower_cased 2)) ... ' (template.symbol []) - ... (static.random code.text (random.lower_case 3)) + ... (static.random code.text (random.lower_cased 3)) ... ' (template.symbol []) - ... (static.random code.text (random.lower_case 4)) + ... (static.random code.text (random.lower_cased 4)) ... ' (template.symbol []) ... (template.text [ "/" ]) ... (template.text [// ']) @@ -745,7 +745,7 @@ start/b random.nat shift/s random.nat shift/b random.nat - text (random.lower_case 1) + text (random.lower_cased 1) .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) @@ -825,9 +825,9 @@ (def for_associative Test (do random.monad - [left (random.lower_case 1) - mid (random.lower_case 1) - right (random.lower_case 1) + [left (random.lower_cased 1) + mid (random.lower_cased 1) + right (random.lower_cased 1) .let [expected (text.interposed "" (list left mid right))]] (_.coverage [/.all /.left] (with_expansions [ (/.left format @@ -888,7 +888,7 @@ Test (do random.monad [left random.nat - right (random.lower_case 1) + right (random.lower_cased 1) item/0 random.nat item/1 random.nat -- cgit v1.2.3