13 Jul
2007
13 Jul
'07
5:26 a.m.
Hello Simon, Friday, July 13, 2007, 11:37:59 AM, you wrote:
| I think the implementation is some 90% complete though, in GHC head. | Certainly you can write many associated types programs already -- the | missing part is finishing off associated type synonyms, iirc.
...and we have a working implementation of that too, thanks to Tom Schrijvers. It's not in the HEAD yet, but it will be in a few weeks.
so it will be a part of 6.8? great news! afaiu, ATS, rather than AT, is direct substitution for FD? -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com