Type checker loops with innocent looking associated type synonym

Stefan Holdermans stefan at cs.uu.nl
Thu May 22 07:40:37 EDT 2008


>> 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.



More information about the Glasgow-haskell-users mailing list