From 3a32ba13ae6507c0b842853cc9a83fb443c2f480 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 5 Dec 2016 16:40:33 -0400 Subject: - Updated tests in the lux/codata branch. --- stdlib/source/lux/codata/cont.lux | 8 ++++---- stdlib/source/lux/codata/struct/stream.lux | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source') 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) -- cgit v1.2.3