Superclass Cycle via Associated Type

[Anupam Jain]

On Wed, Jul 20, 2011 at 10:07 PM, Ryan Trinkle <ryant5000 at gmail.com> wrote:

> The following code doesn't compile, but it seems sensible enough to me.  Is
> this a limitation of GHC or is there something I'm missing?
>
> class C (A x) => C x where
>   type A x :: *
>
>
Did you mean

class (A x) => C x where
    type A x :: *

-- Anupam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20110721/418bf58d/attachment.htm>