[m-rev.] for reviews: finalise declarations (part 2)

[Ralph Becket]

Julien Fischer, Thursday, 29 September 2005:
> 
> Estimated hours taken: 8
> Branches: main
> 
> Add language and compiler support for finalise declarations.

That looks great.

> Index: doc/reference_manual.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
> retrieving revision 1.328
> diff -u -r1.328 reference_manual.texi
> --- doc/reference_manual.texi	26 Sep 2005 06:52:07 -0000	1.328
> +++ doc/reference_manual.texi	28 Sep 2005 07:38:56 -0000
> @@ -4567,7 +4568,33 @@
>  @samp{initpredname} is invoked before the program's @samp{main}
>  predicate.  Initialisation predicates within a module are executed in the
>  order in which they are specified, although no order may be assumed between
> -different modules or submodules.
> +different modules or sub-modules.
> +
> + at node Module finalisation
> + at section Module finalisation
> +
> +Modules that required special finalisation at program termination

s/required/require/

> +may include any number of @samp{finalise} directives in their
> +implementation sections.

Otherwise that's all good.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------