diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:39:45 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:39:45 +0100 |
| commit | 94291904305fb4885cbbd3b8011d1b8fa4e308b2 (patch) | |
| tree | 5fa32ea050e371f48d6b96da3ae9b4b9d0523665 /compiler/codeGen/CgProf.hs | |
| parent | 09a0670167447be3a548481cc9a07e699c8d5c22 (diff) | |
| download | haskell-94291904305fb4885cbbd3b8011d1b8fa4e308b2.tar.gz | |
Make sure that even insoluble constraints are fully substituted
The main change is that canEqFailure does substitution:
see Note [Make sure that insolubles are fully rewritten] in TcCanonical.
However DV and I also found a way to simplify 'flatten' a bit, by
passing a CtFlavour instead of CtEvidence.
Diffstat (limited to 'compiler/codeGen/CgProf.hs')
0 files changed, 0 insertions, 0 deletions