diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0dc505bb0..7d529f04e 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -137,7 +137,7 @@ (def: for_try Test (do random.monad - [expected_error (random.ascii/lower 5) + [expected_error (random.lower_case 5) expected random.nat] (all _.and (_.cover [/.try] @@ -433,13 +433,13 @@ (..sum' n/0 n/1 n/1)))) (_.cover [/.using] (`` (with_expansions [<referral> ("lux in-module" "library/lux" library/lux.refer) - <alias> (static.random code.text (random.ascii/lower 1)) - <definition> (static.random code.local (random.ascii/lower 1)) - <module/0> (static.random code.text (random.ascii/lower 2)) + <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)) <module/0>' (template.symbol [<module/0>]) - <module/1> (static.random code.text (random.ascii/lower 3)) + <module/1> (static.random code.text (random.lower_case 3)) <module/1>' (template.symbol [<module/1>]) - <module/2> (static.random code.text (random.ascii/lower 4)) + <module/2> (static.random code.text (random.lower_case 4)) <module/2>' (template.symbol [<module/2>]) <m0/1> (template.text [<module/0> "/" <module/1>]) <//> (template.text [// <module/2>']) @@ -738,7 +738,7 @@ start/b random.nat shift/s random.nat shift/b random.nat - text (random.ascii/lower 1) + text (random.lower_case 1) .let [expected/s (n.+ shift/s start/s) expected/b (n.+ shift/b start/b) @@ -818,9 +818,9 @@ (def: for_associative Test (do random.monad - [left (random.ascii/lower 1) - mid (random.ascii/lower 1) - right (random.ascii/lower 1) + [left (random.lower_case 1) + mid (random.lower_case 1) + right (random.lower_case 1) .let [expected (text.interposed "" (list left mid right))]] (_.cover [/.all /.left] (with_expansions [<left_association> (/.left format @@ -881,7 +881,7 @@ Test (do random.monad [left random.nat - right (random.ascii/lower 1) + right (random.lower_case 1) item/0 random.nat item/1 random.nat |