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 | |
| parent | 639e2f66c4eafa045e9ec0e2e06eb87473b7b51b (diff) | |
- Updated tests in the lux/codata branch.
Diffstat (limited to 'stdlib/source')
| -rw-r--r-- | stdlib/source/lux/codata/cont.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/lux/codata/struct/stream.lux | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/codata/cont.lux b/stdlib/source/lux/codata/cont.lux index b851d417c..ddc15f1f3 100644 --- a/stdlib/source/lux/codata/cont.lux +++ b/stdlib/source/lux/codata/cont.lux @@ -5,10 +5,10 @@ (;module: lux - (lux (macro (ast #as ast)) - (control (functor #as F #refer #all) - (applicative #as A #refer #all) - (monad #as M #refer #all)) + (lux (macro [ast]) + (control functor + applicative + monad) (data (struct list))) (.. function)) 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) |