[m-rev.] for review: type class constraint info in du functor descriptors

[Zoltan Somogyi]

On 27-Jan-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Augment the descriptors of du functors with information about the type class
> constraints on their existentially typed arguments (if any). This is not yet
> used, but will be needed to perform type class membership tests (as we
> discussed on wednesday). We will need to bump the binary compatibility version
> number when we start relying on the newly generated data.
> 
> Turn on the generation of the new type class descriptor data structures, since
> we now need them to describe functors with type class constraints.
> 
> This in turn required making the generation of those data structures work
> for the MLDS backends as well as the LLDS backend. (The original diff that
> added those data structures updated only the LLDS backend.)

I will commit this on monday if I don't get a review by then.

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