Superclass Cycle via Associated Type
ajnsit at gmail.com
Wed Jul 20 20:46:38 CEST 2011
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 :: *
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users