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

Ralph Becket rafe at cs.mu.OZ.AU
Mon Dec 15 15:14:42 AEDT 2003

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

More information about the developers mailing list