19 Jul
2010
19 Jul
'10
12:30 a.m.
On Fri, Jul 16, 2010 at 08:36:46AM -0700, Corey O'Connor wrote:
On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling <nominolo@googlemail.com> 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/
Yes. -Brent