aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/function/trampoline.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/control/function/trampoline.lux')
-rw-r--r--stdlib/source/test/lux/control/function/trampoline.lux21
1 files changed, 12 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/control/function/trampoline.lux b/stdlib/source/test/lux/control/function/trampoline.lux
index 18d29110c..bba85385a 100644
--- a/stdlib/source/test/lux/control/function/trampoline.lux
+++ b/stdlib/source/test/lux/control/function/trampoline.lux
@@ -38,13 +38,16 @@
(_.for [/.monad]
($monad.spec ..injection ..comparison /.monad))
- (_.coverage [/.return /.result]
- (|> (/.return expected)
- /.result
- (same? expected)))
- (_.coverage [/.jump]
- (with_expansions [<expected> (n.+ left right)]
- (|> (/.jump (/.return <expected>))
- /.result
- (n.= <expected>))))
+ (_.for [/.result]
+ (all _.and
+ (_.coverage [/.#Return /.return]
+ (|> (/.return expected)
+ /.result
+ (same? expected)))
+ (_.coverage [/.#Jump /.jump]
+ (with_expansions [<expected> (n.+ left right)]
+ (|> (/.jump (/.return <expected>))
+ /.result
+ (n.= <expected>))))
+ ))
)))