Fix a nasty bug in piResultTys
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 24 Jul 2018 07:57:34 +0000 (08:57 +0100)
committerBen Gamari <ben@smart-cactus.org>
Tue, 31 Jul 2018 18:18:32 +0000 (14:18 -0400)
commita107cced37cb95c661b7c7cca1171b33eedf18a9
tree8113b3677ab6fe5ccf6bd63bfc34d124446d4d3d
parent9660912278d748b92ab91e25b12a96319b1f98cd
Fix a nasty bug in piResultTys

I was failing to instantiate vigorously enough in Type.piResultTys
and in the very similar function ToIface.toIfaceAppArgsX

This caused Trac #15428.  The fix is easy.

See Note [Care with kind instantiation] in Type.hs

(cherry picked from commit e1b5a1174e42e390855b153015ce5227b3251d89)
compiler/iface/ToIface.hs
compiler/types/Type.hs
testsuite/tests/typecheck/should_compile/T15428.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T