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

[Julien Fischer]

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.

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