Status of Functional Dependencies?

[Michael Marte]

Hello,

I have been using multi-parameter type classes with functional
dependencies (as implemented in Hugs) for a while now and I am quite happy
with it. For performance reasons, I want to compile my stuff with ghc, but
unfortunately the type inference engine of ghc 4.07 does not yet take
functional dependencies into account.

Now, what's the state of functional dependencies in ghc? Will functional
dependencies be available as implemented in Hugs and when?

Thank you very much,
Michael Marte