diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-24 17:01:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-24 17:01:41 +0100 |
| commit | 08ba691ad55f30e67466628125244392c48ce1ab (patch) | |
| tree | bfa0d2fcade2a1f0584e94d4951a3524ba06eda8 /testsuite/tests/gadt/gadt16.hs | |
| parent | 1221f8104bb5123c18bd5b840cde9ab2e71247d5 (diff) | |
| download | haskell-08ba691ad55f30e67466628125244392c48ce1ab.tar.gz | |
Take account of kinds in promoteTcType
One of the ASSERT failures in Trac #12762, namely the one for T4439,
showed that I had not dealt correctly with promoting the kind of
a type in promoteTcType.
Happily I could fix this by simplifying InferRes (eliminating the
ir_kind field), so things get better. And the ASSERT is fixed.
Diffstat (limited to 'testsuite/tests/gadt/gadt16.hs')
0 files changed, 0 insertions, 0 deletions