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

Brent Yorgey byorgey at seas.upenn.edu
Thu Jul 15 12:44:08 EDT 2010

On Thu, Jul 15, 2010 at 12:42:41AM +0100, Thomas Schilling wrote:
> simplifications are possible.  To make this efficient, the solver also
> regularly canonicalises constraints.  E.g., function symbols go to the
> left and constructors to the right.

One minor correction: the canonicalisation of constraints actually has
more to do with ensuring that the solving process terminates than it
does with efficiency.


More information about the Haskell-Cafe mailing list