[V3dot10] Re: Re: 0006583: PositionableStream>>back behavior is totally wrong

[Klaus D. Witzel]

On Wed, 01 Aug 2007 17:32:39 +0200, Damien Cassou wrote:

> 2007/8/1, Klaus D. Witzel:
>> Hi Damien,
>>
>> an actual user of #back is #asSignedInteger, from which I derived the
>> following invariant:
>>
>>   aStream position == (aStream next; back; position)
>>
>> So #back can't be that wrong, no?
>
> The previous behavior correctly changes the position.

So the behavior is not "totally wrong" :)

> The problem is
> with the returned value.

Since I was just concerned about the position: Okay.

/Klaus