Fix a buglet in tcSplitForAllTyVarsReqTVBindersN
The problem was that an equation in `split` had two guards (one about visiblity and one about `n_req`). So it fell thorugh if /either/ was False. But the next equation then assumed an invisible binder. Simple bug, easily fixed. Fixes #25661.
Showing
- compiler/GHC/Core/TyCo/Rep.hs 7 additions, 5 deletionscompiler/GHC/Core/TyCo/Rep.hs
- compiler/GHC/Tc/Gen/Match.hs 7 additions, 3 deletionscompiler/GHC/Tc/Gen/Match.hs
- compiler/GHC/Tc/Utils/TcType.hs 5 additions, 3 deletionscompiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Types/Var.hs 1 addition, 0 deletionscompiler/GHC/Types/Var.hs
- testsuite/tests/polykinds/T25661.hs 38 additions, 0 deletionstestsuite/tests/polykinds/T25661.hs
- testsuite/tests/polykinds/T25661.stderr 17 additions, 0 deletionstestsuite/tests/polykinds/T25661.stderr
- testsuite/tests/polykinds/all.T 1 addition, 0 deletionstestsuite/tests/polykinds/all.T
Loading
Please register or sign in to comment