diff options
Diffstat (limited to 'stdlib/source/test/lux/time/day.lux')
-rw-r--r-- | stdlib/source/test/lux/time/day.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 04d267d79..c6f953334 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -27,13 +27,13 @@ (def: .public random (Random /.Day) - (random.either (random.either (random.either (random\in #/.Sunday) - (random\in #/.Monday)) - (random.either (random\in #/.Tuesday) - (random\in #/.Wednesday))) - (random.either (random.either (random\in #/.Thursday) - (random\in #/.Friday)) - (random\in #/.Saturday)))) + (random.either (random.either (random.either (random\in {/.#Sunday}) + (random\in {/.#Monday})) + (random.either (random\in {/.#Tuesday}) + (random\in {/.#Wednesday}))) + (random.either (random.either (random\in {/.#Thursday}) + (random\in {/.#Friday})) + (random\in {/.#Saturday})))) (def: .public test Test @@ -41,8 +41,8 @@ (_.for [/.Day]) (do random.monad [expected ..random - invalid (random.only (predicate.or (n.< (/.number #/.Sunday)) - (n.> (/.number #/.Saturday))) + invalid (random.only (predicate.or (n.< (/.number {/.#Sunday})) + (n.> (/.number {/.#Saturday}))) random.nat)] ($_ _.and (_.for [/.equivalence] @@ -60,10 +60,10 @@ [not_a_day (random.ascii/upper 1)] (_.cover [/.not_a_day_of_the_week] (case (\ /.codec decoded not_a_day) - {#try.Failure error} + {try.#Failure error} (exception.match? /.not_a_day_of_the_week error) - {#try.Success _} + {try.#Success _} false))) (_.cover [/.number /.by_number] (|> expected @@ -73,15 +73,15 @@ (try.else false))) (_.cover [/.invalid_day] (case (/.by_number invalid) - {#try.Failure error} + {try.#Failure error} (exception.match? /.invalid_day error) - {#try.Success _} + {try.#Success _} false)) (_.cover [/.week] (let [all (list.size /.week) uniques (set.size (set.of_list /.hash /.week))] - (and (n.= (/.number #/.Saturday) + (and (n.= (/.number {/.#Saturday}) all) (n.= all uniques)))) |