Why is Flatten implemented the way it is?

[Peter Van Roy]

Raphael Collet wrote:

> Yves Jaradin wrote:
>
>> Contrary to my expectations, I found List.flatten to be non-incremental 
>
>
> I had a look at the sources.  You're right.  The Flatten in the 
> sources is non-incremental and not very readable. 

I think that this can be considered as a bug, since it makes it
impossible to use Flatten as an element in a pipeline.

Peter