[Git][ghc/ghc][ghc-9.6] 15 commits: relnotes: Clean up headings

Fri Mar 10 19:57:20 UTC 2023

Ben Gamari pushed to branch ghc-9.6 at Glasgow Haskell Compiler / GHC

Commits:
2faa1799 by Ben Gamari at 2023-03-07T17:08:21-05:00
relnotes: Clean up headings

Thanks to David Christiansen for noticing this.

- - - - -
e3a2b2ec by Ben Gamari at 2023-03-09T15:18:46-05:00
Bump Cabal submodule to 3.10 release

- - - - -
2d7ca624 by Sylvain Henry at 2023-03-09T15:49:33-05:00
linker: fix linking with aligned sections (#23066)

Take section alignment into account instead of assuming 16 bytes (which
is wrong when the section requires 32 bytes, cf #23066).

(cherry picked from commit 4158722a6cff5d19e228356c525946b6c4b83396)

- - - - -
4dab7f8c by MorrowM at 2023-03-09T15:50:48-05:00
Fix documentation for traceWith and friends

(cherry picked from commit 2aa0770845631e4355f55694f49b3e4b66ecf751)

- - - - -
67c80633 by Chris Wendt at 2023-03-09T15:51:03-05:00
Fix typo in docs referring to threadLabel

(cherry picked from commit c6e1f3cdcd59e6834820be3c8dc89b66b27b5f57)

- - - - -
009e2356 by Ben Gamari at 2023-03-09T15:52:31-05:00
Bump hpc submodule with js backend changes

- - - - -
4fc17738 by Ben Gamari at 2023-03-09T15:52:46-05:00
Bump stm submodule with js backend changes

- - - - -
1d02aa2a by Ben Gamari at 2023-03-10T02:06:14-05:00
docs/relnotes: Mention fat interface blog post

- - - - -
1595174f by Ben Gamari at 2023-03-10T02:06:14-05:00
rel-eng: Fix name of Rocky 8 bindist

- - - - -
9706e3de by Ryan Scott at 2023-03-10T02:11:16-05:00
Don't generate datacon wrappers for `type data` declarations

Data constructor wrappers only make sense for _value_-level data constructors,
but data constructors for `type data` declarations only exist at the _type_
level. This patch does the following:

* The criteria in `GHC.Types.Id.Make.mkDataConRep` for whether a data
  constructor receives a wrapper now consider whether or not its parent data
  type was declared with `type data`, omitting a wrapper if this is the case.

* Now that `type data` data constructors no longer receive wrappers, there is a
  spot of code in `refineDefaultAlt` that panics when it encounters a value
  headed by a `type data` type constructor. I've fixed this with a special case
  in `refineDefaultAlt` and expanded `Note [Refine DEFAULT case alternatives]`
  to explain why we do this.

Fixes #22948.

(cherry picked from commit 4327d63594f73939a2b8ab015c1cb44eafd4b460)

- - - - -
d81d0a0e by Ryan Scott at 2023-03-10T02:11:16-05:00
Treat type data declarations as empty when checking pattern-matching coverage

The data constructors for a `type data` declaration don't exist at the value
level, so we don't want GHC to warn users to match on them.

Fixes #22964.

(cherry picked from commit 96dc58b9225d91a7912957c6be5d9c7a95e51718)

- - - - -
34172066 by Ryan Scott at 2023-03-10T02:11:16-05:00
Disallow `tagToEnum#` on `type data` types

We don't want to allow users to conjure up values of a `type data` type using
`tagToEnum#`, as these simply don't exist at the value level.

(cherry picked from commit ff8e99f69b203559b784014ab26c59b5553d128a)

- - - - -
87ab8e35 by Ben Gamari at 2023-03-10T02:34:36-05:00
Bump haddock submodule to 2.28

- - - - -
1f5bce0d by Ben Gamari at 2023-03-10T02:34:36-05:00
Set RELEASE=YES

- - - - -
a58c028a by Ben Gamari at 2023-03-10T09:42:25-05:00
Fix TBA in base changelog

- - - - -

30 changed files:

- .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py
- compiler/GHC/Core/Utils.hs
- compiler/GHC/HsToCore/Pmc/Solver.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Types/Id/Make.hs
- configure.ac
- docs/users_guide/9.6.1-notes.rst
- libraries/Cabal
- libraries/base/Debug/Trace.hs
- libraries/base/changelog.md
- libraries/hpc
- libraries/stm
- rts/linker/Elf.c
- + testsuite/tests/pmcheck/should_compile/T22964.hs
- testsuite/tests/pmcheck/should_compile/all.T
- testsuite/tests/rts/linker/Makefile
- + testsuite/tests/rts/linker/T23066.stdout
- + testsuite/tests/rts/linker/T23066_c.c
- testsuite/tests/rts/linker/all.T
- + testsuite/tests/type-data/should_compile/T22948b.hs
- + testsuite/tests/type-data/should_compile/T22948b.stderr
- testsuite/tests/type-data/should_compile/all.T
- + testsuite/tests/type-data/should_fail/TDTagToEnum.hs
- + testsuite/tests/type-data/should_fail/TDTagToEnum.stderr
- testsuite/tests/type-data/should_fail/all.T
- + testsuite/tests/type-data/should_run/T22948a.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/fbc98e66077b933b634bf86a8d4a739ef10ea232...a58c028a181106312e1a783e82a37fc657ce9cfe

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/fbc98e66077b933b634bf86a8d4a739ef10ea232...a58c028a181106312e1a783e82a37fc657ce9cfe
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/20230310/71f48409/attachment.html>