diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-01-20 23:47:28 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-01-23 08:28:26 +0000 |
| commit | 2b64e926a628fb2a3710b0360123ea73331166fe (patch) | |
| tree | f4c821588ec0653e150e8870544f9077dcfe20ee /aclocal.m4 | |
| parent | 6850eb64cc2312e53740edbd94ed2abd7d06f41e (diff) | |
| download | haskell-2b64e926a628fb2a3710b0360123ea73331166fe.tar.gz | |
Apply the right substitution in ty-fam improvement
Trac #13135 showed that we were failing to apply the
correct substitution to the un-substituted tyvars during
type-family improvement using injectivity. Specifically
in TcInteractlinjImproveEqns we need to use instFlexiX.
An outright bug, easy to fix.
Slight refactoring along the way. The quantified tyars of the axiom are
readily to hand; we don't need to take the free tyvars of the LHS
Diffstat (limited to 'aclocal.m4')
0 files changed, 0 insertions, 0 deletions