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

Ralph Becket rafe at csse.unimelb.edu.au
Tue Jan 15 13:49:24 AEDT 2008


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?  I don't see how
we can automatically construct equality for solver types.
--------------------------------------------------------------------------
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