[mercury-users] Exception handling documentation.

[Julien Fischer]

On Thu, 17 Jul 2008, Paul Bone wrote:

>
> io.close_output throws an exception if bad stuff happens.  I don't see
> any information in the language reference guide about exceptions, this
> is probably a bug.

exceptions are a library feature so they are documented in the library
reference guide.  (The reference manual of course documents the 
determinism erroneous).

> Alot of the io package returns errors as part of their return value.
> Should this be consitant and always return a type that can be used to
> check for errors?

It is fairly consistent isn't it.  Those that throw an exception
put the error inside of the exception.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------