Better skolemisation
As #24810 showed, it is (a little) better to skolemise en-bloc, so that Note [Let-bound skolems] fires more often. See Note [Skolemisation en bloc] in GHC.Tc.Utils.Instantiate.
Showing
- compiler/GHC/Core/Opt/Arity.hs 2 additions, 2 deletionscompiler/GHC/Core/Opt/Arity.hs
- compiler/GHC/Core/TyCo/Rep.hs 19 additions, 4 deletionscompiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Core/Utils.hs 1 addition, 1 deletioncompiler/GHC/Core/Utils.hs
- compiler/GHC/Tc/Types/Evidence.hs 13 additions, 13 deletionscompiler/GHC/Tc/Types/Evidence.hs
- compiler/GHC/Tc/Utils/Instantiate.hs 87 additions, 13 deletionscompiler/GHC/Tc/Utils/Instantiate.hs
- compiler/GHC/Tc/Utils/TcType.hs 13 additions, 1 deletioncompiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Utils/Unify.hs 54 additions, 61 deletionscompiler/GHC/Tc/Utils/Unify.hs
- compiler/GHC/Types/Var.hs 1 addition, 1 deletioncompiler/GHC/Types/Var.hs
- testsuite/tests/typecheck/should_compile/T24810.hs 26 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T24810.hs
- testsuite/tests/typecheck/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/typecheck/should_compile/all.T
Loading
Please register or sign in to comment