diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-08-28 17:21:14 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-08-29 09:37:07 +0100 |
| commit | 4455c86d1635bfb846e750b21dda36dcee028b5e (patch) | |
| tree | 03e561e424d1c2e664c69ef552497268b65e2a2a /compiler/main/CodeOutput.hs | |
| parent | 86e6a5f232c6ac4a1cf54130a9987b2b89ace786 (diff) | |
| download | haskell-4455c86d1635bfb846e750b21dda36dcee028b5e.tar.gz | |
Use a well-kinded substitution to instantiate
In tcDataConPat we were creating an ill-kinded substitution
-- or at least one that is well kinded only after you have solved
other equalities. THat led to a crash, because the instantiated
data con type was ill-kinded.
This patch guarantees that the instantiating substitution is
well-kinded.
Fixed Trac #14154
Diffstat (limited to 'compiler/main/CodeOutput.hs')
0 files changed, 0 insertions, 0 deletions