[Haskell-cafe] Docs on the current and future constraint solver?
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