Allow cross-tyvar defaulting proposals from plugins
Fixes #23832.
Showing
- compiler/GHC/Tc/Errors.hs 3 additions, 3 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Ppr.hs 22 additions, 0 deletionscompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 13 additions, 0 deletionscompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Instance/FunDeps.hs 1 addition, 1 deletioncompiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Solver.hs 81 additions, 53 deletionscompiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Monad.hs 4 additions, 1 deletioncompiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Types.hs 6 additions, 10 deletionscompiler/GHC/Tc/Types.hs
- compiler/GHC/Types/Error/Codes.hs 2 additions, 1 deletioncompiler/GHC/Types/Error/Codes.hs
- docs/users_guide/9.10.1-notes.rst 3 additions, 0 deletionsdocs/users_guide/9.10.1-notes.rst
- docs/users_guide/extending_ghc.rst 11 additions, 14 deletionsdocs/users_guide/extending_ghc.rst
- testsuite/tests/plugins/Makefile 3 additions, 3 deletionstestsuite/tests/plugins/Makefile
- testsuite/tests/plugins/T23832.hs 12 additions, 0 deletionstestsuite/tests/plugins/T23832.hs
- testsuite/tests/plugins/T23832_invalid.hs 14 additions, 0 deletionstestsuite/tests/plugins/T23832_invalid.hs
- testsuite/tests/plugins/T23832_invalid.stderr 7 additions, 0 deletionstestsuite/tests/plugins/T23832_invalid.stderr
- testsuite/tests/plugins/all.T 10 additions, 0 deletionstestsuite/tests/plugins/all.T
- testsuite/tests/plugins/defaulting-plugin/DefaultInterference.hs 1 addition, 1 deletion...te/tests/plugins/defaulting-plugin/DefaultInterference.hs
- testsuite/tests/plugins/defaulting-plugin/DefaultInvalid.hs 25 additions, 0 deletionstestsuite/tests/plugins/defaulting-plugin/DefaultInvalid.hs
- testsuite/tests/plugins/defaulting-plugin/DefaultLifted.hs 3 additions, 3 deletionstestsuite/tests/plugins/defaulting-plugin/DefaultLifted.hs
- testsuite/tests/plugins/defaulting-plugin/DefaultMultiParam.hs 34 additions, 0 deletions...uite/tests/plugins/defaulting-plugin/DefaultMultiParam.hs
- testsuite/tests/plugins/defaulting-plugin/defaulting-plugin.cabal 5 additions, 1 deletion...e/tests/plugins/defaulting-plugin/defaulting-plugin.cabal
Loading
Please register or sign in to comment