diff options
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r-- | stdlib/source/test/lux.lux | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0d393c2c2..0d282e16f 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -195,11 +195,11 @@ (is (-> Any a) return))) -(/.implementation: (global_returner value) +(def: (global_returner value) (All (_ a) (-> a (Returner a))) - - (def: (return _) - value)) + (/.implementation + (def: (return _) + value))) (def: static_return 123) @@ -215,8 +215,6 @@ expected)))]] (_.for [/.Interface] (all _.and - (_.coverage [/.implementation:] - (n.= expected (at (global_returner expected) return []))) (_.coverage [/.implementation] (n.= expected (at local_returner return []))) (_.coverage [/.open:] |