[mercury-users] Reading from strings

[Tyson Dowd]

On 13-Oct-1999, Robert Ernst Johann JESCHOFNIK <rejj at cat.cs.mu.OZ.AU> wrote:
> Heya everybody.
> 
> I was just wondering if anyone out there has made up a library for reading
> words/lines/etc from strings. Basically, using a string as a sort of
> `fake' input stream. There is allready io__read_from_string, which is the
> same as io__read (reads in ground terms in valid Mercury syntax).
> Basically, what I am after is io__read_word_from_string, which would have
> the same semantics as io__read_word (Read in a whitespace delimited word).

I think the answer to this one is that nobody has written such a
library.  Quite a few people have expressed interest in such a thing,
it would be nice to be able to change the input stream to be a string
in some way.

-- 
The quantum sort: 
	while (!sorted) { do_nothing(); }
Tyson Dowd   <tyson at tyse.net>   http://tyse.net/
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------