Am Sonntag, 12. Oktober 2008 17:38 schrieb Marc Weber:
> Surely I've overseen a small point. But I can't see it:
> Why doesn't ghc recognize taht elc_ (class decl), elc (instance decl) and
> elc_1 are the same type To help you find the connecting pieces faster I've
> marked them with ## ##
>
> Marc
>
>
> data PT a b = PT b -- phantom type containing state a and the result b
>
> class AddEl el_ el2_ elc_ where
> addEl :: el_ -> elc -> el2_ -- el, child
^^^^^^
I suspect that might be responsible, didn't you mean to write elc_ there?
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe