diff options
| author | dimitris@microsoft.com <unknown> | 2011-03-31 10:26:34 +0000 |
|---|---|---|
| committer | dimitris@microsoft.com <unknown> | 2011-03-31 10:26:34 +0000 |
| commit | 5cfe9e92a92201043d5dbb1c4e10fef0ed0d9f49 (patch) | |
| tree | c2d4cf12cd751a21dc794a9ddd8598baff93eb98 /validate | |
| parent | 2d72a852f400ddfc756d6557b80c8f9e8e83de56 (diff) | |
| download | haskell-5cfe9e92a92201043d5dbb1c4e10fef0ed0d9f49.tar.gz | |
Introducing a datatype for WorkLists that properly prioritizes equalities.ghc-darcs-git-switchover
We were not prioritizing the interaction of equalities in the worklist, because
pre-canonicalization solved the constraints one by one, in their arrival order.
This patch fixes this, so it's a generally useful improvement, mainly for
efficiency. It makes #4981 go away, although it's not a definite answer to the
cause of the problem. See discussion on Trac.
Diffstat (limited to 'validate')
0 files changed, 0 insertions, 0 deletions