[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 15 commits: rts: Annotate BCOs with their Name

Wed Dec 11 19:03:59 UTC 2024

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

Commits:
5192a75f by Ben Gamari at 2024-12-11T04:28:11-05:00
rts: Annotate BCOs with their Name

This introduces a new bytecode instruction, `BCO_NAME`, to aid in debugging
bytecode execution. This instruction is injected by `mkProtoBCO` and
captures the Haskell name of the BCO. It is then printed by the
disassembler, allowing ready correlation with STG dumps.

- - - - -
99225996 by Ben Gamari at 2024-12-11T04:28:48-05:00
configure: Implement ld override whitelist

Bring `configure` into alignment with `ghc-toolchain`, ensuring that the
ld-override logic will only take effect on Linux and Windows.

Fixes #25501.

- - - - -
4f633c3a by Andrei Borzenkov at 2024-12-11T14:03:42-05:00
Update GHCi :info type declaration printing (#24459)

- Do not print result's kind in type families
  because we have full kind in SAKS and we display
  invisible arity using @-binders

- Do not suppress significant invisible binders

An invisible binder is considered significant when it meets at least
one of the following two criteria:
  - It visibly occurs in the declaration's body
  - It is followed by a significant binder,
    so it affects positioning
For non-generative type declarations (type synonyms and type families)
there is one additional criterion:
  - It is not followed by a visible binder, so it
    affects the arity of a type synonym

See Note [Print invisible binders in interface declarations]
for more information about what is "visibly occurs"

- - - - -
0f50d2d9 by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Unmark T14028 as broken on FreeBSD

This now appears to pass on FreeBSD 14.

Closes #19723.

- - - - -
f7e6b0ca by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Migrate FreeBSD runner tag to FreeBSD 14

- - - - -
33b89c8a by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Reintroduce FreeBSD 14 job

- - - - -
a0bc3023 by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Allow use of newer cabal-install bindists

Newer cabal-install bindists have internal directory structure.
Here we detect and account for the presence of such structure.

- - - - -
62d471ab by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Enable documentation build on FreeBSD 14

- - - - -
35aa27f3 by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Use system libffi on FreeBSD

- - - - -
ffaf35f8 by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Mark linker_unload as broken on FreeeBSD

Due to #25491.

- - - - -
b75d19b0 by Ben Gamari at 2024-12-11T14:03:43-05:00
gitlab-ci: Prefer system toolchain on FreeBSD

It's not uncommon to find machines with gcc installed via ports. We
should be using the system's default clang-based toolchain instead.

- - - - -
f26da5c2 by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Mark T21969 as broken on FreeBSD

Due to #25512.

- - - - -
db420f1c by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Mark RestartEventLogging as broken on FreeBSD

I am seeing this fail quite reproducibly.

Due to #19724.

- - - - -
47fe7614 by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Mark T16180 as "broken" on FreeBSD

Sadly we in fact need to skip it as it merely times out during
compilation.

See #14012.

- - - - -
02455f77 by Ben Gamari at 2024-12-11T14:03:43-05:00
testsuite: Skip T16992 unless in slow speed

This test has extraordinary memory requirements and tests a rather
niche aspect of the compact region mechanism. It has been suggested
multiple times that we shouldn't run it in the default testsuite
configuration. Finally implement this.

See #21890.
See #21892.

- - - - -

30 changed files:

- .gitlab/ci.sh
- .gitlab/generate-ci/gen_ci.hs
- .gitlab/jobs.yaml
- compiler/GHC/ByteCode/Asm.hs
- compiler/GHC/ByteCode/Instr.hs
- compiler/GHC/Core/TyCon.hs
- compiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Iface/Syntax.hs
- compiler/GHC/Iface/Type.hs
- compiler/GHC/StgToByteCode.hs
- compiler/GHC/Unit/Info.hs
- compiler/ghc.cabal.in
- docs/users_guide/9.14.1-notes.rst
- docs/users_guide/debugging.rst
- docs/users_guide/ghci.rst
- hadrian/src/Rules/Rts.hs
- libraries/ghc-compact/tests/all.T
- m4/find_ld.m4
- rts/Disassembler.c
- rts/Interpreter.c
- rts/include/rts/Bytecodes.h
- rts/rts.cabal
- testsuite/driver/testlib.py
- testsuite/tests/backpack/should_fail/T19244a.stderr
- testsuite/tests/backpack/should_fail/T19244b.stderr
- testsuite/tests/backpack/should_fail/bkpfail46.stderr
- testsuite/tests/concurrent/should_run/all.T
- testsuite/tests/ghci/T18060/T18060.stdout
- testsuite/tests/ghci/scripts/ListTuplePunsPpr.stdout

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/10673bf03b67b241e0c58c4c524a58fb76fb78bb...02455f7788ed8839195333651aa34e70a660bb34

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/10673bf03b67b241e0c58c4c524a58fb76fb78bb...02455f7788ed8839195333651aa34e70a660bb34
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/20241211/ba02a843/attachment.html>