diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-09 13:16:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-11 12:33:29 +0100 |
| commit | f20cf982f126aea968ed6a482551550ffb6650cf (patch) | |
| tree | cba52af91ab61484d29067e0c44b7d5cc24d57d5 /rts | |
| parent | 3e44562ae18526ae0df6370078321dd19b00616f (diff) | |
| download | haskell-f20cf982f126aea968ed6a482551550ffb6650cf.tar.gz | |
Remove wc_insol from WantedConstraints
This patch is a pure refactoring, which I've wanted to do for
some time. The main payload is
* Remove the wc_insol field from WantedConstraints;
instead put all the insolubles in wc_simple
* Remove inert_insols from InertCans
Instead put all the insolubles in inert_irreds
* Add a cc_insol flag to CIrredCan, to record that
the constraint is definitely insoluble
Reasons
* Quite a bit of code gets slightly simpler
* Fewer concepts to keep separate
* Insolubles don't happen at all in production code that is
just being recompiled, so previously there was a lot of
moving-about of empty sets
A couple of error messages acutally improved.
Diffstat (limited to 'rts')
0 files changed, 0 insertions, 0 deletions