On 18 October 2011 13:49, bob zhang <bobzhang1...@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.
Max
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
