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

[Julien Fischer]

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

The rest looks okay.

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