[m-dev.] for review: stream I/O

[Peter Ross]

On Mon, Oct 02, 2000 at 07:33:40AM -0700, Ralph Becket wrote:
> >From Peter Ross on 02/10/2000 15:28:45
> > The only problem with the io__state becoming the stream is that where do
> > you put all the stream specific state now, and how do you efficiently
> > access it?
> 
> The current io module does all this as it is without being particularly
> inefficient (an io__stream handle is a c_pointer).
> 
However putback characters and line numbers are implemented at the C
level not at the Mercury level. This functionality is common to all
streams so it should be implemented at the Mercury level.

I ported the Mission Critical lowlevel C solution to this problem and it
slows down the code by a factor of three for cat.m
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------