Improve the generalisation code in Solver.simplifyInfer
The code in `decideQuantification` has become quite complicated. This MR straightens it out, adds a new Note, and on the way fixes #25266. See especially Note [decideAndPromoteTyVars] which is is where all the action happens in this MR.
Showing
- compiler/GHC/Data/Bag.hs 5 additions, 19 deletionscompiler/GHC/Data/Bag.hs
- compiler/GHC/Tc/Deriv/Infer.hs 5 additions, 3 deletionscompiler/GHC/Tc/Deriv/Infer.hs
- compiler/GHC/Tc/Gen/Bind.hs 6 additions, 5 deletionscompiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Gen/Head.hs 2 additions, 1 deletioncompiler/GHC/Tc/Gen/Head.hs
- compiler/GHC/Tc/Instance/FunDeps.hs 14 additions, 3 deletionscompiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Module.hs 1 addition, 1 deletioncompiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Solver.hs 445 additions, 432 deletionscompiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Default.hs 5 additions, 1 deletioncompiler/GHC/Tc/Solver/Default.hs
- compiler/GHC/Tc/Solver/Solve.hs 4 additions, 4 deletionscompiler/GHC/Tc/Solver/Solve.hs
- compiler/GHC/Tc/TyCl/PatSyn.hs 1 addition, 1 deletioncompiler/GHC/Tc/TyCl/PatSyn.hs
- compiler/GHC/Tc/Types/Constraint.hs 127 additions, 42 deletionscompiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/TcMType.hs 2 additions, 12 deletionscompiler/GHC/Tc/Utils/TcMType.hs
- testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr 3 additions, 6 deletions...uite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr
- testsuite/tests/partial-sigs/should_fail/T10615.stderr 19 additions, 14 deletionstestsuite/tests/partial-sigs/should_fail/T10615.stderr
- testsuite/tests/polykinds/T14172.stderr 10 additions, 9 deletionstestsuite/tests/polykinds/T14172.stderr
- testsuite/tests/typecheck/should_compile/T13785.hs 8 additions, 3 deletionstestsuite/tests/typecheck/should_compile/T13785.hs
- testsuite/tests/typecheck/should_compile/T13785.stderr 4 additions, 3 deletionstestsuite/tests/typecheck/should_compile/T13785.stderr
- testsuite/tests/typecheck/should_compile/T25266.hs 127 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T25266.hs
- testsuite/tests/typecheck/should_compile/T25266a.hs 13 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T25266a.hs
- testsuite/tests/typecheck/should_compile/T25266a.stderr 21 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T25266a.stderr
Loading
Please register or sign in to comment