[m-rev.] for review: add string.line type

[Julien Fischer]

On Thu, 19 Apr 2007, Peter Wang wrote:

> On 2007-04-19, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> On Thu, 19 Apr 2007, Peter Wang wrote:
>>
>>> Introduce a standard way to read lines efficiently but generically using
>>> stream.get/4.
>>>
>>> library/string.m:
>>> 	Add the type string.line.
>>
>>
>> I suggest also adding:
>>
>> 	:- type string.word ---> word(string).
>> 	:- type string.text_file ---> word(string).
>
> This should probably wait.  What is a word anyhow?

I was thinking it should be the same thing as it is for io.read_word/3,
a whitespace delimited word.

> (taking into account
> unicode, punctuation, etc.)

I don't see why the text_file one should wait.

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
--------------------------------------------------------------------------