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

Brent Yorgey byorgey at seas.upenn.edu
Sun Jul 18 12:30:36 EDT 2010


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


More information about the Haskell-Cafe mailing list