[m-rev.] for review: add string builder stream to extras

[Julien Fischer]

On Mon, 4 Dec 2006, Ian MacLarty wrote:

> On Mon, Dec 04, 2006 at 06:18:42PM +1100, Julien Fischer wrote:
>>
>> On Mon, 4 Dec 2006, Ian MacLarty wrote:
>>
>>> On Mon, Nov 27, 2006 at 04:17:24PM +1100, Julien Fischer wrote:
>>>>> Index: stream/stream_util.string_builder.m
>>>>> ===================================================================
>>>>> +
>>>>> +:- instance stream.writer(string_builder_stream, string,
>>>>> string_builder_state)
>>>>> +        where [
>>>>> +    ( put(_, String, !State) :-
>>>>> +        !.State = string_builder_state(StringList0),
>>>>> +        %
>>>>> +        % The string builder will never clobber the string.  Also we
>>>>> +        % know that nothing else can clobber the string since it isn't
>>>>> unique.
>>>>
>>>> s/since/although/?
>>>>
>>>
>>> No, since.  I'm trying to argue that it's okay to lie to the compiler
>>> here.  Does my argument make sense?
>>
>> I see what you mean.
>
> Does that mean the promise is okay, or are you still thinking about it?

The former - although if additional modes of string.join_list are ever
added that may not be the case.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------