diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2022-05-06 11:01:01 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2022-05-10 12:26:32 +0100 |
| commit | 66f3bb6d3825d44a63beaba7674126ca5cd3bc7d (patch) | |
| tree | 573ed2bd69e9243d38e97b0fdad2f4ef44dac328 /compiler/GHC/Tc/Module.hs-boot | |
| parent | a4fbb589fd176e6c2f6648dea6c93e25668f1db8 (diff) | |
| download | haskell-wip/T21479.tar.gz | |
Check for uninferrable variables in tcInferPatSynDeclwip/T21479
This fixes #21479
See Note [Unquantified tyvars in a pattern synonym]
While doing this, I found that some error messages pointed at the
pattern synonym /name/, rather than the /declaration/ so I widened the
SrcSpan to encompass the declaration.
Diffstat (limited to 'compiler/GHC/Tc/Module.hs-boot')
0 files changed, 0 insertions, 0 deletions