[m-dev.] Typeclass constraints on types

[David Jeffery]

On 22-Feb-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> Is there a plan to add typeclass constraints for types?  This would
> be quite helpful in many situations.

I would point you to a discussion we had on mercury-developers (I think) on 
this a while back, but as you've already pointed out to us, the search
mechanism is broken. :-(


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------