From 879d0560e9d09ca997bf81de498fe9740ef36434 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 18 May 2021 00:45:15 -0400 Subject: Got rid of the {}s in ":share" and made it pipe-able. --- stdlib/source/test/lux/control/region.lux | 18 ++++++++++-------- stdlib/source/test/lux/data/collection/tree/finger.lux | 5 +++-- stdlib/source/test/lux/data/text/format.lux | 3 ++- stdlib/source/test/lux/type.lux | 4 +++- 4 files changed, 18 insertions(+), 12 deletions(-) (limited to 'stdlib/source/test') 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 -- cgit v1.2.3