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

Corey O'Connor coreyoconnor at gmail.com
Fri Jul 16 11:36:46 EDT 2010

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?

Corey O'Connor

More information about the Haskell-Cafe mailing list