[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 10 commits: testsuite: Normalise trailing digits from hole fits output

[Marge Bot (@marge-bot)]

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


Commits:
d8546c7a by Ben Gamari at 2024-10-11T18:02:49-04:00
testsuite: Normalise trailing digits from hole fits output

The type variables in the holes fit output from
`abstract_refinement_hole_fits` is quite sensitive to compiler
configuration. Specifically, a slight change in the inlining
behavior of `throw` changes type variable naming in `(>>=)` and a few
others.

Ideally we would make hole fits output more deterministic but in the
meantime we simply normalise this difference away as it not relevant
to the test's goal.

- - - - -
6c0152ec by Ben Gamari at 2024-10-11T18:02:49-04:00
base: Add test for #25066

- - - - -
6f1750ff by Ben Gamari at 2024-10-11T18:02:49-04:00
base: Fix #25066

As noted in #25066, the exception backtrace proposal introduced a rather
subtle performance regression due to simplification producing Core which
the demand analyser concludes may diverge with a precise exception. The
nature of the problem is more completely described in the new Note
[Hiding precise exception signature in throw].

The (rather hacky) solution we use here hides the problematic
optimisation through judicious use of `noinline`. Ultimately however we
will want a more principled solution (e.g. #23847).

Fixes #255066

CLC proposal: https://github.com/haskell/core-libraries-committee/issues/290

Metric Decrease:
    T9872d

- - - - -
def9d16f by Ben Gamari at 2024-10-11T18:02:49-04:00
base: Improve documentation of Control.Exception.Backtrace

- - - - -
6b88bf39 by Ben Gamari at 2024-10-11T18:02:50-04:00
Bump process submodule to v1.6.25.0

- - - - -
d6f58db0 by Hassan Al-Awwadi at 2024-10-11T18:02:51-04:00
Move HsInteger and HsRat to an extension constructor

These constructors were only used during the TC stage,
or during template haskell. It seemed clear that it was
independent of the source syntax represented in L.H.S,
and thus we removed it according to #21592.

- - - - -
a150d4e0 by Artem Pelenitsyn at 2024-10-11T18:02:53-04:00
Docs: Linear types: link Strict Patterns subsection

Also, fix a bug in RST with missing newline before a listing.

Co-authored-by: Arnaud Spiwack <arnaud at spiwack.net>

- - - - -
0914a12e by Ben Gamari at 2024-10-11T18:02:54-04:00
users guide: Address remaining TODOs in eventlog format docs

Closes #25296.

- - - - -
b8d2fb56 by Sylvain Henry at 2024-10-11T18:03:06-04:00
Fix z-encoding of tuples (#25364)

Tuples with prefix/suffix strings weren't always properly encoded with
their shortcut notations. Fix this.

- - - - -
12c7d431 by Sven Tennie at 2024-10-11T18:03:07-04:00
Delete constants that can be deduced

There are macros in MachRegs.h to figure those out.

- - - - -


30 changed files:

- compiler/GHC/Hs/Instances.hs
- compiler/GHC/Hs/Lit.hs
- compiler/GHC/Hs/Syn/Type.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/GHC/HsToCore/Match/Literal.hs
- compiler/GHC/HsToCore/Pmc/Desugar.hs
- compiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Rename/Expr.hs
- compiler/GHC/Tc/Utils/Instantiate.hs
- compiler/GHC/Tc/Utils/TcMType.hs
- compiler/GHC/Tc/Zonk/Type.hs
- compiler/Language/Haskell/Syntax/Extension.hs
- compiler/Language/Haskell/Syntax/Lit.hs
- docs/users_guide/eventlog-formats.rst
- docs/users_guide/exts/linear_types.rst
- libraries/base/changelog.md
- libraries/base/src/Control/Exception/Backtrace.hs
- + libraries/base/tests/T25066.hs
- + libraries/base/tests/T25066.stderr
- libraries/base/tests/all.T
- libraries/ghc-boot/GHC/Utils/Encoding.hs
- libraries/ghc-internal/src/GHC/Internal/Exception.hs
- libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs
- libraries/process
- rts/include/stg/MachRegs/loongarch64.h
- rts/include/stg/MachRegs/ppc.h
- rts/include/stg/MachRegs/riscv64.h
- + testsuite/tests/codeGen/should_run/T25364.hs
- + testsuite/tests/codeGen/should_run/T25364.stdout
- testsuite/tests/codeGen/should_run/all.T


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d148f6e01938a9d243f9dbb6bae6a3951077a348...12c7d4312ce3d8516b0e5b15e1bccf6be4d14207

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/d148f6e01938a9d243f9dbb6bae6a3951077a348...12c7d4312ce3d8516b0e5b15e1bccf6be4d14207
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/20241011/172be6fe/attachment.html>