#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority: normal
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority: normal
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer |Owner:
Type: bug| Status: new
Priority: no
On 03/12/2009 14:12, Henning Thielemann wrote:
On Thu, 3 Dec 2009, Malcolm Wallace wrote:
#3709: Data.Either.partitionEithers is not lazy enough
This is a behavioural change, e.g.:
Main> case partitionEithers1 [Left 'a', error "Not me"] of (x : _, _)
-> x
Program error: Not me
Main> case part
#3709: Data.Either.partitionEithers is not lazy enough
This is a behavioural change, e.g.:
Main> case partitionEithers1 [Left 'a', error "Not me"] of (x : _,
_) -> x
Program error: Not me
Main> case partitionEithers2 [Left 'a', error "Not me"] of (x : _,
_) -> x
'a'
Yes, and isn't that th
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority: normal
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority: normal
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer | Owner:
Type: bug| Status: new
Priority: normal |