[m-rev.] diff: avoid runtime aborts from the decl debug oracle

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Oct 11 12:17:28 AEST 2002


On 11-Oct-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> Another solution to this problem may have been to implement a 'set_cc'
> module, which would be to 'set' as 'tree234_cc' is to 'tree234'.
> Unfortunately, we would need to implement 'set_cc__intersect' but it
> appears not to be possible to implement a satisfactory committed choice
> version of intersection.

What is wrong with the obvious solution of using the code of
set_ordlist__intersect after replacing the call to compare with a call
to compare_representation?

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list