[m-rev.] trivial diff: add non-foreign implementation of ml_initialise_stm

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Aug 23 15:19:08 AEST 2007




On Thu, 23 Aug 2007, Peter Wang wrote:

> Estimated hours taken: 0
> Branches: main
>
> library/stm_builtin.m:
> 	Add non-foreign implementation of ml_initialise_stm.
>
> Index: library/stm_builtin.m
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/library/stm_builtin.m,v
> retrieving revision 1.3
> diff -u -r1.3 stm_builtin.m
> --- library/stm_builtin.m	22 Aug 2007 12:11:20 -0000	1.3
> +++ library/stm_builtin.m	23 Aug 2007 05:07:14 -0000
> @@ -304,6 +304,9 @@
>     #endif
> ").
>
> +% For non-C backends.
> +ml_initialise_stm.
> +

That should probably be:

ml_initialise_stm :-
 	impure impure_true.

in order to avoid purity warnings.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list