[m-rev.] for review: document the default equality/comparison for solver types

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Jan 24 15:37:05 AEDT 2008

On Tue, 15 Jan 2008, Julien Fischer wrote:

> On Tue, 15 Jan 2008, Ralph Becket wrote:
>> Julien Fischer, Tuesday, 15 January 2008:
>>> For review by Mark and Ralph.
>>> Estimated hours taken: 2
>>> Branches: main
>>> Document the default equality and comparison for solver types.
>>> doc/reference_manual.texi:
>>> 	Specify what a Mercury implementation should do when equality or
>>> 	comparison are
>>> 	not specified for a solver type.
>> Shouldn't the default implementations throw exceptions?
> Should it?  It doesn't at the moment - this is one of the things I'm
> hoping to clear up by posting this diff.

If there are no other comments I will go ahead and change both the
reference manual and the implementation so that the default equality
and comparison operations for solver types throw exceptions.

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