diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/sequence.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/sequence.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index ace5fa0cb..4c349854b 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -22,7 +22,7 @@ ["." /]]) (implementation: (equivalence super) - (All [a] (-> (Equivalence a) (Equivalence (/.Sequence a)))) + (All (_ a) (-> (Equivalence a) (Equivalence (/.Sequence a)))) (def: (= reference subject) (\ (list.equivalence super) = @@ -30,7 +30,7 @@ (/.first 100 subject)))) (def: (iterations step) - (All [a] + (All (_ a) (-> (-> a a) (-> a (/.Sequence a)))) (/.iterations |