#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority:
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer |Owner:
Type: bug| Status: new
Priority:
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority:
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
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority:
#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 the point
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer | Owner:
Type: bug| Status: new
Priority: normal |
#3709: Data.Either.partitionEithers is not lazy enough
--+-
Reporter: daniel.is.fischer| Owner:
Type: bug | Status: closed
Priority: