[m-dev.] exit() call missing from the library

[Fergus Henderson]

On 15-Dec-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> I propose to add io.exit/3 to the library, which will simply call the C
> stdlib exit function with a return code.  But I thought I'd ask here
> first in case there was a technical reason why it's not already part of
> the Mercury library.

The main reason we didn't put it in there in the first place was that it
was not entirely clear whether it would cause problems for the language
semantics.

But in general calling io.exit/3 is usually not a very good idea;
it makes code less reusable.  It's better to throw an exception.

Why do you want it?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------