[Haskell-cafe] Associated types

Ivan Miljenovic ivan.miljenovic at gmail.com
Thu Jul 1 22:57:31 EDT 2010

On 2 July 2010 04:48, David Menendez <dave at zednenem.com> wrote:
> Maybe you're thinking of equality superclasses. In another thread,
> this example came up:
> | class (DerivedOf a ~ derived) => Typecheck a derived where
> which doesn't work yet, but should work in 6.14.

I've asked Manuel Chakravarty about this, and he isn't sure if it will
be ready in time for 6.14 :(

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the Haskell-Cafe mailing list