[m-rev.] diff: fix superclass reduction

[Julien Fischer]

On Sun, 22 Oct 2006, Mark Brown wrote:

> Estimated hours taken: 15
> Branches: main, release
>
> Implement superclass reduction in the style of CHRs rather than as a top
> down search.  This is shorter, simpler, and more consistent with the rest
> of the typeclass implementation.  It also removes a few XXXs and fixes a
> bug reported by Julien.

Thanks for that Mark - the tab expansion stream now works.

(Ian, I've merged this fix onto the streams branch.)

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