diff options
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) |