diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 12:48:29 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-10 14:25:08 +0100 |
| commit | e24b50c3a70a247a4695a80aceba0cf351eb1e9e (patch) | |
| tree | 707b551361a9e440b59d6c0d6c8f6ed92f0fce72 /compiler/utils | |
| parent | e7e5939d80f05cfc52e98af50d0e0227aeee826d (diff) | |
| download | haskell-e24b50c3a70a247a4695a80aceba0cf351eb1e9e.tar.gz | |
Use partial-sig constraints as givens
In TcSimplify.simplifyInfer, use the context of a partial type
signature as 'givens' when simplifying the inferred constraints of the
group. This way we get maximum benefit from them. See
Note [Add signature contexts as givens].
This (finally) fixes test EqualityConstraints in Trac #9478.
And it's a nice tidy-up.
Diffstat (limited to 'compiler/utils')
0 files changed, 0 insertions, 0 deletions