diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2022-10-28 22:51:30 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-11-01 12:49:47 -0400 |
| commit | 0560821f637fa2a4318fb068a969f4802acb5a89 (patch) | |
| tree | 81f8e018b458c23f8c4003aaec3780665e617236 /ghc | |
| parent | 30e625e6d4bdd15960edce8ecc40b85ce3d72b28 (diff) | |
| download | haskell-0560821f637fa2a4318fb068a969f4802acb5a89.tar.gz | |
Add accurate skolem info when quantifying
Ticket #22379 revealed that skolemiseQuantifiedTyVar was
dropping the passed-in skol_info on the floor when it encountered
a SkolemTv. Bad! Several TyCons thereby share a single SkolemInfo
on their binders, which lead to bogus error reports.
Diffstat (limited to 'ghc')
0 files changed, 0 insertions, 0 deletions