[m-rev.] Fix bug with state vars in promise_equivalent_solutions goals

[Julien Fischer]

On Thu, 14 Apr 2005, Ralph Becket wrote:

> Estimated hours taken: 4
> Branches: main
>
> Fix a bug where state variables in the variable list of a
> promise_equivalent_solutions goal were not handled.
>
> compiler/prog_data.m:
> 	Adjust the promise_equivalent_solutions data constructor to
> 	include extra fields for "dot" and "colon" state variables in
> 	the variable list.
>
> compiler/make_hlds.m:
> 	Adjust the transformation of promise_equivalent_solutions goals
> 	to ensure that !.X and !:X in the variable list correspond to the
> 	"initial" and "final" versions, respectively, of state variable X in
> 	the transformed goal body.
>
> compiler/mercury_to_mercury.m:
> compiler/module_qual.m:
> compiler/prog_io_goal.m:
> compiler/prog_util.m:
> 	Adjust for the new promise_equivalent_solutions constructor fields.
>
> compiler/prog_io_util.m:
> 	Add parse_vars_and_state_vars/4 to handle state variables
> 	appearing in the variable list of a promise_equivalent_solutions
> 	goal.
>
> tests/hard_coded/Mmakefile:
> tests/hard_coded/promise_equiv_with_svars.m:
> tests/hard_coded/promise_equiv_with_svars.exp:
> 	Added test case.
>
That's fine; do you need to update the reference manual as well?

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