diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2022-11-28 15:36:25 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-11-30 09:32:03 -0500 |
| commit | a9d9b8c0458e838f331ead62dca272665ecbf20d (patch) | |
| tree | 423877074f00e2ac8d690dd2fde71fa60cb58002 /testsuite/tests/safeHaskell | |
| parent | a3a8e9e968ff9b10c6785d53a5f1c8fcef6db72b (diff) | |
| download | haskell-a9d9b8c0458e838f331ead62dca272665ecbf20d.tar.gz | |
Use mkNakedFunTy in tcPatSynSig
As #22521 showed, in tcPatSynSig we make a "fake type" to
kind-generalise; and that type has unzonked type variables in it. So
we must not use `mkFunTy` (which checks FunTy's invariants) via
`mkPhiTy` when building this type. Instead we need to use
`mkNakedFunTy`.
Easy fix.
Diffstat (limited to 'testsuite/tests/safeHaskell')
0 files changed, 0 insertions, 0 deletions