
10 May
2004
10 May
'04
5:39 a.m.
On 10 May 2004 00:02, JP Bernardy wrote:
What do you mean with this? Do you mean: "I think *I* was mistaken [...]"?
Huh, yes.
The current version behaves ok for sequences mainly constructed with fromList, cons or snoc; a sequence made up of 'append' is strict.
Would it be possible to change this behavior?
Sure. I attach the modified version, for reference.
Ross's point about requiring append to be strict in order to guarantee O(n) toList is a good one. In fact, the current implementation isn't quite correct: either fromList should be strict, or append should check for an empty Many constructor. Cheers, Simon