On Fri, Jul 22, 2011 at 12:12 PM, Serguey Zefirov <[email protected]> wrote:
> Why does GHC complains on the code below ? (I'll explain in a second a
> requirement to do just so)
I don't why =(. But you can workaround by using
class CPU cpu where
data CPUFunc cpu
Note that you don't need the class constraint 'CPU cpu =>' inside the
GADT since 'cpu' is not an existential.
Cheers, =)
--
Felipe.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe