diff options
| author | Eduardo Julian | 2016-12-05 16:40:33 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-05 16:40:33 -0400 |
| commit | 3a32ba13ae6507c0b842853cc9a83fb443c2f480 (patch) | |
| tree | 02f2eb7ea784b3a7c339bd1c0f8224d39bc16351 /stdlib/source/lux/codata/struct/stream.lux | |
| parent | 639e2f66c4eafa045e9ec0e2e06eb87473b7b51b (diff) | |
- Updated tests in the lux/codata branch.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/codata/struct/stream.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/codata/struct/stream.lux b/stdlib/source/lux/codata/struct/stream.lux index 2fd962b38..b76db0f39 100644 --- a/stdlib/source/lux/codata/struct/stream.lux +++ b/stdlib/source/lux/codata/struct/stream.lux @@ -86,8 +86,8 @@ [(#;Cons [x tail]) next]) [(list) xs])))] - [take-while drop-while split-with (-> a Bool) (pred x) pred] - [take drop split Nat (n.> +0 pred) (n.dec pred)] + [take-while drop-while split-while (-> a Bool) (pred x) pred] + [take drop split Nat (n.> +0 pred) (n.dec pred)] ) (def: #export (unfold step init) |