[m-rev.] for review: constrained polymorphic insts

[Michael Day]

> Also, is it permitted to constrain one inst parameter as being
> compatible with another?

Will all this inst stuff let me make an abstract container type that can 
hold values of an arbitrary inst? What does "compatible with ground" mean, 
anyway? Does that include higher order insts? What about compatible with 
unique?

Michael

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