[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 7 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:
ce293908 by Andreas Klebinger at 2022-10-13T05:58:19-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.

- - - - -
78ab7afe by Ben Gamari at 2022-10-13T05:58:56-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.

- - - - -
44692713 by Ben Gamari at 2022-10-13T05:58:56-04:00
rts/linker: Add support for .fini sections

- - - - -
beebf546 by Simon Hengel at 2022-10-13T05:59:37-04:00
Update phases.rst

(the name of the original source file is $1, not $2)
- - - - -
eda6c05e by Finley McIlwaine at 2022-10-13T06:00:17-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

- - - - -
6538d7aa by Pierre Le Marre at 2022-10-13T19:04:46-04:00
Add standard Unicode case predicates isUpperCase and isLowerCase.

These predicates use the standard Unicode case properties and are more intuitive than isUpper and isLower.

Approved by CLC in https://github.com/haskell/core-libraries-committee/issues/90#issuecomment-1276649403.

Fixes #14589

- - - - -
6f86bcf8 by Bodigrim at 2022-10-13T19:04:50-04:00
Add type signatures in where-clause of Data.List.permutations

The type of interleave' is very much revealing, otherwise it's extremely tough to decipher.

- - - - -


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/9.6.1-notes.rst
- docs/users_guide/phases.rst
- libraries/base/Data/Char.hs
- libraries/base/Data/OldList.hs
- libraries/base/GHC/Unicode.hs
- + libraries/base/GHC/Unicode/Internal/Char/DerivedCoreProperties.hs
- libraries/base/base.cabal
- libraries/base/changelog.md
- libraries/base/tests/unicode001.hs
- libraries/base/tests/unicode001.stdout
- libraries/base/tools/ucd2haskell/exe/Parser/Text.hs
- libraries/base/tools/ucd2haskell/tests/check_all_chars.py
- libraries/base/tools/ucd2haskell/tests/export_all_chars.hs
- libraries/base/tools/ucd2haskell/ucd.sh
- 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


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/db525d07c1f73044f11cf343c5122f2efe87ba7b...6f86bcf81708c54ed8dd98212b290c5cc8510eb3

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/db525d07c1f73044f11cf343c5122f2efe87ba7b...6f86bcf81708c54ed8dd98212b290c5cc8510eb3
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/7d8fb5bc/attachment.html>