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.
Showing
- compiler/GHC/Tc/Gen/HsType.hs 2 additions, 0 deletionscompiler/GHC/Tc/Gen/HsType.hs
- compiler/GHC/Tc/TyCl.hs 60 additions, 50 deletionscompiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/Utils/TcMType.hs 11 additions, 11 deletionscompiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Utils/TcType.hs 1 addition, 1 deletioncompiler/GHC/Tc/Utils/TcType.hs
- testsuite/tests/deriving/should_fail/T21871.stderr 1 addition, 1 deletiontestsuite/tests/deriving/should_fail/T21871.stderr
- testsuite/tests/indexed-types/should_fail/T15870.stderr 1 addition, 1 deletiontestsuite/tests/indexed-types/should_fail/T15870.stderr
- testsuite/tests/polykinds/T22379a.hs 31 additions, 0 deletionstestsuite/tests/polykinds/T22379a.hs
- testsuite/tests/polykinds/T22379b.hs 30 additions, 0 deletionstestsuite/tests/polykinds/T22379b.hs
- testsuite/tests/polykinds/all.T 2 additions, 0 deletionstestsuite/tests/polykinds/all.T
Loading
Please register or sign in to comment