diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/region.lux | 18 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/collection/tree/finger.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/format.lux | 3 | ||||
| -rw-r--r-- | stdlib/source/test/lux/type.lux | 4 |
4 files changed, 18 insertions, 12 deletions
diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index 1023822ea..3fb0d1d82 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -59,15 +59,17 @@ (Comparison (All [a] (All [! r] (Region r (Thread !) a)))) (function (_ == left right) (case [(:share [a] - {(Equivalence a) - ==} - {(Try a) - (thread.run (:assume (/.run thread.monad left)))}) + (Equivalence a) + == + + (Try a) + (thread.run (:assume (/.run thread.monad left)))) (:share [a] - {(Equivalence a) - ==} - {(Try a) - (thread.run (:assume (/.run thread.monad right)))})] + (Equivalence a) + == + + (Try a) + (thread.run (:assume (/.run thread.monad right))))] [(#try.Success left) (#try.Success right)] (== left right) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 33b333396..55c3d9118 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -21,8 +21,9 @@ (def: :@: (:by_example [@] - {(/.Builder @ Text) - ..builder} + (/.Builder @ Text) + ..builder + @)) (def: #export test diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 0f61caa1f..8b1e9a700 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -19,7 +19,7 @@ ["." json]] [collection ["." list ("#\." functor)]]] - [time + ["." time ["." instant] ["." duration] ["." date]] @@ -106,6 +106,7 @@ [/.instant instant.codec random.instant] [/.duration duration.codec random.duration] [/.date date.codec random.date] + [/.time time.codec random.time] [/.nat/2 nat.binary random.nat] [/.nat/8 nat.octal random.nat] diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 0b3f3b4d8..b490469cf 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -164,7 +164,9 @@ #.None)] (/\= (.type (List Nat)) (/.:by_example [a] - {(Maybe a) example} + (Maybe a) + example + (List a))))) /abstract.test |