diff options
Diffstat (limited to 'stdlib/source/test/lux/control/continuation.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/continuation.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index 94b90e540..b0055b0b3 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -18,16 +18,16 @@ [\\library ["[0]" /]]) -(def: injection +(def injection (All (_ o) (Injection (All (_ i) (/.Cont i o)))) (|>> /.pending)) -(def: comparison +(def comparison (Comparison /.Cont) (function (_ == left right) (== (/.result left) (/.result right)))) -(def: .public test +(def .public test Test (<| (_.covering /._) (do random.monad |