[mercury-users] declarative kernels

[Thomas Conway]

On Wed, Mar 08, 2000 at 05:00:46AM EST, Ralph Becket wrote:
> My picture of an io__state is that it records a
> *view* of the interface between a Mercury program
> at some point and the outside world.  That is, it
> records which files are currently opened by the
> program, whereabouts the read/write cursor is for
> each open file and so forth.  An io__state does 
> *not* reflect the state of the outside world.

I don't understand how you expect programs to interact
with the external world then. Can you explain some more?

-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------