[m-dev.] Typeclass constraints on types

[Ralph Becket]

>From David Jeffery on 23/02/2001 00:57:52
> 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. :-(

The search engine is working again and I've reread that discussion from 
some twenty-odd months ago:
http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-users/mercury-
users.9905/0034.html

The conclusion was that we really should allow typeclass constraints on 
types and, I quote,

> Agreed on both points. I'll put it on my todo list. 
>
> dgj 

!

I just wanted to restate interest in having the facility.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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