[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 4 commits: tc: warn about lazy annotations on unlifted arguments (fixes #21951)

[Marge Bot (@marge-bot)]

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


Commits:
9789e845 by Zachary Wood at 2022-08-19T14:17:28-04:00
tc: warn about lazy annotations on unlifted arguments (fixes #21951)

- - - - -
e5567289 by Andreas Klebinger at 2022-08-19T14:18:03-04:00
Fix #22048 where we failed to drop rules for -fomit-interface-pragmas.

Now we also filter the local rules (again) which fixes the issue.

- - - - -
58ff4f34 by Swann Moreau at 2022-08-19T15:19:09-04:00
Print constraints in quotes (#21167)

This patch improves the uniformity of error message formatting by
printing constraints in quotes, as we do for types.

Fix #21167

- - - - -
fdbeded4 by Sasha Bogicevic at 2022-08-19T15:19:10-04:00
19217 Implicitly quantify type variables in :kind command

- - - - -


30 changed files:

- compiler/GHC/Iface/Tidy.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/TyCl.hs
- docs/users_guide/ghci.rst
- libraries/base/tests/T9681.stderr
- testsuite/tests/ado/T16628.stderr
- testsuite/tests/ado/ado005.stderr
- testsuite/tests/annotations/should_fail/annfail05.stderr
- testsuite/tests/annotations/should_fail/annfail08.stderr
- testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr
- testsuite/tests/backpack/cabal/bkpcabal05/bkpcabal05.stderr
- testsuite/tests/backpack/should_fail/bkpfail11.stderr
- testsuite/tests/backpack/should_fail/bkpfail24.stderr
- testsuite/tests/backpack/should_fail/bkpfail43.stderr
- testsuite/tests/backpack/should_fail/bkpfail44.stderr
- testsuite/tests/dependent/should_fail/T13135.stderr
- testsuite/tests/dependent/should_fail/T15308.stderr
- testsuite/tests/deriving/should_fail/T21302.stderr
- testsuite/tests/deriving/should_fail/T2851.stderr
- testsuite/tests/deriving/should_fail/T5287.stderr
- testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
- testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
- testsuite/tests/deriving/should_fail/drvfail001.stderr
- testsuite/tests/deriving/should_fail/drvfail002.stderr
- testsuite/tests/deriving/should_fail/drvfail003.stderr
- testsuite/tests/deriving/should_fail/drvfail004.stderr
- testsuite/tests/deriving/should_fail/drvfail007.stderr
- testsuite/tests/deriving/should_fail/drvfail011.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6d53fa9e4b363d835550f2eab8a919f50bb9c0f7...fdbeded4c87de29f5dbbc1107e0c29d8b47d172e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6d53fa9e4b363d835550f2eab8a919f50bb9c0f7...fdbeded4c87de29f5dbbc1107e0c29d8b47d172e
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/20220819/0a02aec7/attachment.html>