[Haskell-cafe] Functional dependencies *not* part of the next Haskell standard?

Simon Peyton-Jones simonpj at microsoft.com
Fri Jul 13 03:37:59 EDT 2007

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


More information about the Haskell-Cafe mailing list