[Haskell-cafe] Associated types

[Ivan Miljenovic]

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
IvanMiljenovic.wordpress.com