15 May
2008
15 May
'08
10:26 a.m.
Hello Stefan, Thursday, May 15, 2008, 5:46:57 PM, you wrote:
class ZipWithA a where type Elem a :: *
Should I report this a bug? Or is it perhaps already been taken care of in the head? Or am I just plain unreasonable here? :-)
afair, the rule of thumb is: please don't report us errors with type families in 6.8 - it's unofficial and incomplete here. test against HEAD if you are really interested -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com