Re: [Haskell-cafe] Docs on the current and future constraint solver?

On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling wrote:

This solver is currently being implemented in GHC (there's a branch on darcs.h.o), but correctness comes first.  It'll probably take a while until this new solver becomes efficient.

Is this the URL of the branch? http://darcs.haskell.org/ghc-new-tc/ghc/ Cheers, Corey O'Connor