Type checker loops with innocent looking associated type synonym
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Tue May 20 23:38:55 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.
More information about the Glasgow-haskell-users