Type checker loops with innocent looking associated type synonym

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu May 15 10:26:37 EDT 2008

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

More information about the Glasgow-haskell-users mailing list