[m-dev.] Proposal: support for module initialisation and state

[Julien Fischer]

On Fri, 8 Jul 2005, Ralph Becket wrote:

> 	:- finalisation(pred_name).
>
> Ensures that at end-of-day (i.e., after main has returned)
> pred_name(!IO) is called.  No finalisation order can be assumed.
>
And, presumably, no finalisation is done if execution stops because of an
uncaught exception.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------