Discussion about the ConstraintKinds extension

Max Bolingbroke batterseapower at hotmail.com
Thu Oct 20 17:14:06 CEST 2011

On 18 October 2011 13:49, bob zhang <bobzhang1988 at gmail.com> wrote:
>     In my contrived example the definition of class C is like this
>         class C c where { foo :: c Int => ....}
>         class C B => B a where { ...}
>     will this pass under your proposal?

Yes I would allow this to pass.

If this would be enough to support what you want to do I'm happy to
make the change.


More information about the Glasgow-haskell-users mailing list