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

[Ralph Becket]

Fergus Henderson, Monday, 15 December 2003:
> 
> 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?

To avoid throwing an exception :-)  But I agree with your point - I'll
forget it.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------