diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-23 17:05:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-23 17:05:59 +0100 |
| commit | 9c0a6bbb0194f65cd62e48936c0c00fc4888eef3 (patch) | |
| tree | db6f7efb36d1287a9f122084812e383ed8ee7116 /compiler/codeGen | |
| parent | 606b6d57f31b0d462634054e86a2e1c7d1db7c7a (diff) | |
| download | haskell-9c0a6bbb0194f65cd62e48936c0c00fc4888eef3.tar.gz | |
Numerous small changes to the constraint solver
The main thing is that we now keep unsolved Derived constraints in the
wc_flats of a WantedConstraints, rather than discarding them each time.
This actually fixes a poential (admittedly obscure) bug, when we currently
discard a superclass constraint, and may never re-generate it, and may
thereby miss a functional dependency.
Instead, reportErrors filters out Derived constraints that we don't want
to report.
The other changes are all small refactorings following our walk-through.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions