[mercury-users] variable parameters in typeclass instances

[Michael Day]

> That is correct, these instance declarations are forbidden
> by the current set of restrictions on instance declarations.

<list of implementation difficulties snipped>

That is unfortunate, it seems like such declarations would be quite
useful, even in the absence of constructor classes. I can't speculate on a
revised implementation that could handle such declarations so I will
assume they are not feasible.

>         author =        {Simon Peyton Jones and Mark Jones and Erik Meijer},
>         title =         {Type Classes: an exploration of the design space},
...

Any hints on where I could find this? :)

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------