[Haskell-cafe] Default definitions for associated type synonyms

Dreixel dreixel at gmail.com
Fri May 30 10:10:55 EDT 2008


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?

Zé Pedro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080530/0fd03f6b/attachment.htm

More information about the Haskell-Cafe mailing list