1 Jul
2010
1 Jul
'10
10:57 p.m.
On 2 July 2010 04:48, David Menendez
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@gmail.com IvanMiljenovic.wordpress.com