17 Mar
2008
17 Mar
'08
7:45 a.m.
It is supposed to work in 6.9. I am sorry, but type families are not an officially supported feature in 6.8.x, and hence, any bug fixes that requires invasive changes in the type checker will not be merged into the 6.8 branch (and by now the 6.8 and 6.9 code bases diverged quite a bit). This is simply to ensure the stability of the stable branch. Type families will be properly supported in 6.10.
Oh, no worries, I'm in no hurry. I just wanted to know if this was something you were helped by knowing, but I suspected it was just as you say here. So I won't bother about a bug report, and will eagerly await 6.10. :-) /Niklas