Hello,

Does anyone know if it is possible to specify a default definition for an
associated type synonym? When I tried:

class A a where
>   type B a = a
>

GHC (version 6.9.20080309) told me: "Type declaration in a class must be a
kind signature or synonym default". However, when I look at the parser I see
no way to specify such synonym default. Is this possible?



Thanks,
Zé Pedro
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to