[m-rev.] for review: fix a problem with mutables for non-MR_Word types

[Julien Fischer]

On Fri, 24 Feb 2006, Zoltan Somogyi wrote:

> Index: compiler/make_hlds_passes.m
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/compiler/make_hlds_passes.m,v
> retrieving revision 1.26
> diff -u -b -r1.26 make_hlds_passes.m
> --- compiler/make_hlds_passes.m	23 Feb 2006 09:36:56 -0000	1.26
> +++ compiler/make_hlds_passes.m	23 Feb 2006 22:07:37 -0000
> @@ -44,6 +44,10 @@
>      module_info::out, qual_info::out, bool::out, bool::out, io::di, io::uo)
>      is det.
>
> +/* ### In `add_item_clause(in, in, out, in, in, out, in, out, */
> +/* ###   di, uo)': */
> +/* ###   error: determinism declaration not satisfied. */
> +/* ###   Declared `det', inferred `semidet'. */

Delete that.

...

> Index: tests/hard_coded/sub-modules/Mercury.options
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/tests/hard_coded/sub-modules/Mercury.options,v
> retrieving revision 1.1
> diff -u -b -r1.1 Mercury.options
> --- tests/hard_coded/sub-modules/Mercury.options	17 Aug 2002 13:52:16 -0000	1.1
> +++ tests/hard_coded/sub-modules/Mercury.options	23 Feb 2006 21:09:13 -0000
> @@ -1,4 +1,4 @@
>
>  MCFLAGS-nested_intermod	=	--intermodule-optimization
>  MCFLAGS-nested_intermod_main =	--intermodule-optimization
> -
> +MCFLAGS-non_word_mutable =	--intermodule-optimization

You should also pass --no-intermodule-analysis there in case the test
suite is run with intermodule-analysis enabled.

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