Validity: refactor treatment of data families
This commit refactors the reporting of unused type variables in type and data family instances to be more principled. This avoids ad-hoc logic in the treatment of data family instances.
Showing
- compiler/GHC/Rename/Module.hs 5 additions, 4 deletionscompiler/GHC/Rename/Module.hs
- compiler/GHC/Tc/Errors/Ppr.hs 53 additions, 6 deletionscompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 37 additions, 3 deletionscompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Validity.hs 52 additions, 82 deletionscompiler/GHC/Tc/Validity.hs
- compiler/GHC/Utils/Outputable.hs 10 additions, 0 deletionscompiler/GHC/Utils/Outputable.hs
- testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr 5 additions, 5 deletions...sts/indexed-types/should_fail/ExplicitForAllFams4a.stderr
- testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr 26 additions, 26 deletions...sts/indexed-types/should_fail/ExplicitForAllFams4b.stderr
- testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr 12 additions, 0 deletions...suite/tests/indexed-types/should_fail/SimpleFail13.stderr
- testsuite/tests/indexed-types/should_fail/T17008a.stderr 4 additions, 4 deletionstestsuite/tests/indexed-types/should_fail/T17008a.stderr
- testsuite/tests/indexed-types/should_fail/T7536.stderr 4 additions, 4 deletionstestsuite/tests/indexed-types/should_fail/T7536.stderr
- testsuite/tests/typecheck/should_fail/T23734.stderr 11 additions, 11 deletionstestsuite/tests/typecheck/should_fail/T23734.stderr
- testsuite/tests/typecheck/should_fail/T23778.stderr 2 additions, 2 deletionstestsuite/tests/typecheck/should_fail/T23778.stderr
Loading
Please register or sign in to comment