type unfolding; also io/parsing from strings

[Fergus Henderson]

Hi,

Over the weekend, I started working on code to parse terms from strings rather than
from streams.  The reasons for this change are to increase expressiveness
(with new library predicates such as io__read_from_string) and to improve efficiency.

One thing that would be useful in the lexer is having some way of
getting the compiler to unfold all occurrences of a given type
(e.g. the `lexer_state' type).  What's the current state of play
with regard to that?  Is anyone working on that?

Cheers,
	Fergus.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.