Type checker loops with innocent looking associated type synonym
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