Deal with duplicate tyvars in type declarations
GHC was outright crashing before this fix: #24604
Showing
- compiler/GHC/Tc/Gen/HsType.hs 71 additions, 22 deletionscompiler/GHC/Tc/Gen/HsType.hs
- testsuite/tests/saks/should_compile/saks018.hs 1 addition, 1 deletiontestsuite/tests/saks/should_compile/saks018.hs
- testsuite/tests/saks/should_compile/saks021.hs 1 addition, 1 deletiontestsuite/tests/saks/should_compile/saks021.hs
- testsuite/tests/saks/should_fail/all.T 2 additions, 0 deletionstestsuite/tests/saks/should_fail/all.T
- testsuite/tests/saks/should_fail/saks018-fail.hs 9 additions, 0 deletionstestsuite/tests/saks/should_fail/saks018-fail.hs
- testsuite/tests/saks/should_fail/saks018-fail.stderr 4 additions, 0 deletionstestsuite/tests/saks/should_fail/saks018-fail.stderr
- testsuite/tests/saks/should_fail/saks021-fail.hs 9 additions, 0 deletionstestsuite/tests/saks/should_fail/saks021-fail.hs
- testsuite/tests/saks/should_fail/saks021-fail.stderr 4 additions, 0 deletionstestsuite/tests/saks/should_fail/saks021-fail.stderr
- testsuite/tests/typecheck/should_compile/T24470b.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_compile/T24470b.hs
- testsuite/tests/vdq-rta/should_fail/T24604.hs 7 additions, 0 deletionstestsuite/tests/vdq-rta/should_fail/T24604.hs
- testsuite/tests/vdq-rta/should_fail/T24604.stderr 4 additions, 0 deletionstestsuite/tests/vdq-rta/should_fail/T24604.stderr
- testsuite/tests/vdq-rta/should_fail/T24604a.hs 9 additions, 0 deletionstestsuite/tests/vdq-rta/should_fail/T24604a.hs
- testsuite/tests/vdq-rta/should_fail/T24604a.stderr 4 additions, 0 deletionstestsuite/tests/vdq-rta/should_fail/T24604a.stderr
- testsuite/tests/vdq-rta/should_fail/all.T 3 additions, 1 deletiontestsuite/tests/vdq-rta/should_fail/all.T
Loading
Please register or sign in to comment