22 May
2008
22 May
'08
7:40 a.m.
Manuel,
Should I report this a bug? Or is it perhaps already been taken care of in the head?
Probably the latter.
But really as, Bulat wrote, type families in 6.8 are unsupported. Please test your code with a HEAD snapshot. If that goes wrong, a bug report on Trac would be most appreciated.
Indeed: no problem with yesterday's HEAD. Thanks, Stefan