ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1314 from WithHat/master

Browse Source 
Removed Unicode character from source file
This commit is contained in:
David Christiansen 2014-06-16 09:05:03 +02:00
commit 2128f26bd4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libs/prelude/Prelude/Stream.idr
View File

@ -85,7 +85,7 @@ scanl f acc (x :: xs) = acc :: scanl f (f acc x) xs
||| Produce a Stream of (corecursive) right folds of tails of the given Stream
||| @ f the combining function
||| @ xs the Stream to fold up
-- Reusing the head of the corecursion in the obvious way doesn’t productivity check
-- Reusing the head of the corecursion in the obvious way doesn't productivity check
scanr : (f : a -> Inf b -> b) -> (xs : Stream a) -> Stream b
scanr f (x :: Delay xs) = f x (foldr f xs) :: scanr f xs