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

[Julien Fischer]

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.

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