[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 5 commits: Add a perf test for the generics code pattern from #21839.

[Marge Bot (@marge-bot)]

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


Commits:
4ee45cec by Andreas Klebinger at 2022-10-13T03:48:04-04:00
Add a perf test for the generics code pattern from #21839.

This code showed a strong shift between compile time (got worse) and
run time (got a lot better) recently which is perfectly acceptable.

However it wasn't clear why the compile time regression was happening
initially so I'm adding this test to make it easier to track such changes
in the future.

- - - - -
1fbab209 by Ben Gamari at 2022-10-13T03:48:05-04:00
rts/linker: Consolidate initializer/finalizer handling

Here we extend our treatment of initializer/finalizer priorities to
include ELF and in so doing refactor things to share the implementation
with PEi386. As well, I fix a subtle misconception of the ordering
behavior for `.ctors`.

Fixes #21847.

- - - - -
ff441015 by Ben Gamari at 2022-10-13T03:48:05-04:00
rts/linker: Add support for .fini sections

- - - - -
8d313d63 by Simon Hengel at 2022-10-13T03:48:10-04:00
Update phases.rst

(the name of the original source file is $1, not $2)
- - - - -
db525d07 by Finley McIlwaine at 2022-10-13T03:48:12-04:00
Clearer error msg for newtype GADTs with defaulted kind

When a newtype introduces GADT eq_specs due to a defaulted
RuntimeRep, we detect this and print the error message with
explicit kinds.

This also refactors newtype type checking to use the new
diagnostic infra.

Fixes #21447

- - - - -


30 changed files:

- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Types/Error/Codes.hs
- docs/users_guide/phases.rst
- rts/linker/Elf.c
- rts/linker/ElfTypes.h
- + rts/linker/InitFini.c
- + rts/linker/InitFini.h
- rts/linker/PEi386.c
- rts/linker/PEi386Types.h
- rts/rts.cabal.in
- testsuite/tests/gadt/T14719.stderr
- testsuite/tests/indexed-types/should_fail/T14033.stderr
- testsuite/tests/indexed-types/should_fail/T2334A.stderr
- testsuite/tests/linear/should_fail/LinearGADTNewtype.stderr
- testsuite/tests/parser/should_fail/readFail008.stderr
- + testsuite/tests/perf/compiler/T21839c.hs
- + testsuite/tests/perf/compiler/T21839c.stdout
- testsuite/tests/perf/compiler/all.T
- + testsuite/tests/perf/should_run/T21839r.hs
- + testsuite/tests/perf/should_run/T21839r.stdout
- testsuite/tests/perf/should_run/all.T
- testsuite/tests/polykinds/T11459.stderr
- testsuite/tests/typecheck/should_fail/T15523.stderr
- testsuite/tests/typecheck/should_fail/T15796.stderr
- testsuite/tests/typecheck/should_fail/T17955.stderr
- testsuite/tests/typecheck/should_fail/T18891a.stderr
- + testsuite/tests/typecheck/should_fail/T21447.hs
- + testsuite/tests/typecheck/should_fail/T21447.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4838827cbb4c42a3d0a9879d38f1fbaf4960d578...db525d07c1f73044f11cf343c5122f2efe87ba7b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4838827cbb4c42a3d0a9879d38f1fbaf4960d578...db525d07c1f73044f11cf343c5122f2efe87ba7b
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/20221013/e208e972/attachment.html>