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

Ian MacLarty maclarty at csse.unimelb.edu.au
Mon Feb 5 17:42:44 AEDT 2007


On Mon, Feb 05, 2007 at 01:35:05PM +1100, 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.

In the reference manual is says:

This goal promises that @var{Vars} is the set of variables bound by
@var{Goal}, and that while @var{Goal} may have more than one solution,
all of these solutions are equivalent with respect to the equality
theories of the variables in @var{Vars}.

Is this still valid if some of the vars have inst any?  An inst any
variable may represent many (different) solutions.  My understanding is
that you just want a determinism cast, you don't want to promise that
the solutions are all equivalent.

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