[m-rev.] For review: inst any non-locals in promise_equivalent_solutions

[Julien Fischer]

On Mon, 5 Feb 2007, Ralph Becket wrote:

> Estimated hours taken: 1
> Branches: main
>
> Fix a bug where promise_equivalent_solutions complained both if you did or did
> not include non-locals with inst any in the var list.  Such vars *must* now be
> included in the list.
>
> NEWS:
> 	Mention the change.
>
> compiler/det_analysis.m:
> 	Require inst any non-locals to appear in the var list.
>
> compiler/instmap.m:
> 	Added var_is_any_in_instmap.
>
> doc/reference_manual.texi:
> 	Document the change.
>
> tests/invalid/Mmakefile:
> tests/invalid/promise_equivalent_solutions_test_2.err_exp:
> tests/invalid/promise_equivalent_solutions_test_2.m:
> 	Added a test case.

I suggest also adding a test case for a valid instance of the new
behaviour.

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