diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/stream.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index 17bb614ad..398873f2f 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -21,15 +21,15 @@ [\\library ["[0]" /]]) -(def: (equivalence super) +(def (equivalence super) (All (_ a) (-> (Equivalence a) (Equivalence (/.Stream a)))) (implementation - (def: (= reference subject) + (def (= reference subject) (at (list.equivalence super) = (/.first 100 reference) (/.first 100 subject))))) -(def: (iterations step) +(def (iterations step) (All (_ a) (-> (-> a a) (-> a (/.Stream a)))) @@ -38,7 +38,7 @@ (let [state' (step state)] [state' state])))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Stream]) |