[m-rev.] for review: allow arbitrary types in class constraints

[David Jeffery]

> I'm going to commit this soon unless anyone has any objections.  DJ?

(Sorry about the delay...)

The diff looks fine, but could you please post the full versions of all the
test cases rather than relative diffs? I'd like to make sure that all the
important cases have been tested before you commit.


dgj

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