On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling <nomin...@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/ Cheers, Corey O'Connor _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
