[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 7 commits: JS: testsuite: use correct ticket number

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
4a41ba75 by Sylvain Henry at 2023-06-15T18:09:15-04:00
JS: testsuite: use correct ticket number

Replace #22356 with #22349 for these tests because #22356 has been fixed
but now these tests fail because of #22349.

- - - - -
15f150c8 by Sylvain Henry at 2023-06-15T18:09:16-04:00
JS: testsuite: update ticket numbers

- - - - -
08d8e9ef by Sylvain Henry at 2023-06-15T18:09:16-04:00
JS: more triage

- - - - -
e8752e12 by Krzysztof Gogolewski at 2023-06-15T18:09:52-04:00
Fix test T18522-deb-ppr

Fixes #23509

- - - - -
6e3a2c3c by Ben Price at 2023-06-15T18:41:21-04:00
Lint: more details on "Occurrence is GlobalId, but binding is LocalId"

This is helpful when debugging a pass which accidentally shadowed a
binder.

- - - - -
3b97b5ff by Ryan Hendrickson at 2023-06-15T18:41:24-04:00
Clean a stray bit of text in user guide

- - - - -
efe7b16e by Vladislav Zavialov at 2023-06-15T18:41:24-04:00
testsuite: Add forall visibility test cases

The added tests ensure that the type checker does not confuse
visible and invisible foralls.

VisFlag1:    kind-checking type applications and inferred type variable instantiations
VisFlag1_ql: kind-checking Quick Look instantiations
VisFlag2:    kind-checking type family instances
VisFlag3:    checking kind annotations on type parameters of associated type families
VisFlag4:    checking kind annotations on type parameters in type declarations with SAKS
VisFlag5:    checking the result kind annotation of data family instances

- - - - -


30 changed files:

- compiler/GHC/Core/Lint.hs
- docs/users_guide/exts/infix_tycons.rst
- libraries/base/jsbits/errno.js
- rts/js/profiling.js
- testsuite/tests/backpack/cabal/T15594/all.T
- testsuite/tests/backpack/cabal/T16219/all.T
- testsuite/tests/backpack/cabal/T20509/all.T
- testsuite/tests/backpack/cabal/bkpcabal01/all.T
- testsuite/tests/backpack/cabal/bkpcabal02/all.T
- testsuite/tests/backpack/cabal/bkpcabal03/all.T
- testsuite/tests/backpack/cabal/bkpcabal04/all.T
- testsuite/tests/backpack/cabal/bkpcabal05/all.T
- testsuite/tests/backpack/cabal/bkpcabal06/all.T
- testsuite/tests/backpack/cabal/bkpcabal07/all.T
- testsuite/tests/cabal/T12733/all.T
- testsuite/tests/cabal/cabal01/all.T
- testsuite/tests/cabal/cabal03/all.T
- testsuite/tests/cabal/cabal04/all.T
- testsuite/tests/cabal/cabal05/all.T
- testsuite/tests/cabal/cabal06/all.T
- testsuite/tests/cabal/cabal08/all.T
- testsuite/tests/cabal/cabal09/all.T
- testsuite/tests/cabal/cabal10/all.T
- testsuite/tests/cabal/t18567/all.T
- testsuite/tests/cabal/t19518/all.T
- testsuite/tests/cabal/t20242/all.T
- testsuite/tests/driver/T1372/all.T
- testsuite/tests/driver/T3007/all.T
- testsuite/tests/driver/multipleHomeUnits/different-db/all.T
- testsuite/tests/driver/multipleHomeUnits/mhu-closure/all.T


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/5050fc5122c702932976f65f44aa898c6ce55f69...efe7b16e80b9dca099809e34a508bad920dfea84

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/5050fc5122c702932976f65f44aa898c6ce55f69...efe7b16e80b9dca099809e34a508bad920dfea84
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230615/8f4e0cb0/attachment.html>