diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-06 16:12:39 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-06 16:12:39 +0000 |
| commit | 545bb79667ebcbf5e776f76518cf68b4d507e7f5 (patch) | |
| tree | 6e5bb68c311e98802716a1f1c7047c0c13491935 /compiler/simplCore | |
| parent | 4dade857ec0b1655b6297191b9262eb5174eec87 (diff) | |
| download | haskell-545bb79667ebcbf5e776f76518cf68b4d507e7f5.tar.gz | |
Refine the "kick-out" predicate for CTyVarEq
Consider
Work item: k ~ *
Inert item: (a::k) ~ Int
Then we must kick out the inert item! We weren't doing that,
something I discovered when fixing Trac #7384.
Discussed with Dimitrios, and we wrote a long comment
Note [Delicate equality kick-out] to explain.
Diffstat (limited to 'compiler/simplCore')
0 files changed, 0 insertions, 0 deletions