diff options
| author | Eduardo Julian | 2022-10-02 19:25:33 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-02 19:25:33 -0400 |
| commit | ed779c7bbbf3c625461fd1c09c1a3c39eaabd9d6 (patch) | |
| tree | 0875aef89507986149c24f771feb7852c7170a89 /stdlib/source/test/lux/control/function/trampoline.lux | |
| parent | ba150e8a206ffba1c5313c26fa88c6dcba6a08aa (diff) | |
New format for extensions [part 4]
Diffstat (limited to 'stdlib/source/test/lux/control/function/trampoline.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/function/trampoline.lux | 21 |
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>)))) + )) ))) |