Don't bundle children for non-parent Avails
We used to bundle all children of the parent Avail with things that aren't the parent, e.g. with class C a where type T a meth :: .. we would bundle the whole Avail (C, T, meth) with all of C, T and meth, instead of only with C. Avoiding this fixes #23570
Showing
- compiler/GHC/Rename/Names.hs 19 additions, 9 deletionscompiler/GHC/Rename/Names.hs
- testsuite/tests/rename/should_fail/T23570.hs 6 additions, 0 deletionstestsuite/tests/rename/should_fail/T23570.hs
- testsuite/tests/rename/should_fail/T23570.stderr 6 additions, 0 deletionstestsuite/tests/rename/should_fail/T23570.stderr
- testsuite/tests/rename/should_fail/T23570_aux.hs 7 additions, 0 deletionstestsuite/tests/rename/should_fail/T23570_aux.hs
- testsuite/tests/rename/should_fail/T23570b.hs 5 additions, 0 deletionstestsuite/tests/rename/should_fail/T23570b.hs
- testsuite/tests/rename/should_fail/T23570b.stderr 5 additions, 0 deletionstestsuite/tests/rename/should_fail/T23570b.stderr
- testsuite/tests/rename/should_fail/all.T 2 additions, 0 deletionstestsuite/tests/rename/should_fail/all.T
Loading
Please register or sign in to comment