Skip to content

Array writeN fold eats one element when applied multiple times #1258

@harendra-kumar

Description

@harendra-kumar
Prelude Stream Array Streamly.Prelude> Stream.toList $ Stream.foldMany (Array.writeN 1) (Stream.fromList [1,2,3,4,5,6::Int])
[[1],[3],[5]]
Prelude Stream Array Streamly.Prelude>

Metadata

Metadata

Assignees

Labels

type:bugDoes not work as expected

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions