Type checker loops with innocent looking associated type synonym

[Bulat Ziganshin]

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 at gmail.com