aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/lux/control/region.lux18
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux5
-rw-r--r--stdlib/source/test/lux/data/text/format.lux3
-rw-r--r--stdlib/source/test/lux/type.lux4
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