On Fri, Jul 22, 2011 at 12:12 PM, Serguey Zefirov <sergu...@gmail.com> 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
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to