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

Michael Day mikeday at bigpond.net.au
Thu Feb 21 18:05:21 AEDT 2002


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



More information about the reviews mailing list