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

[Peter Wang]

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? (taking into account
unicode, punctuation, etc.)

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