[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 10 commits: ghc-internal: @since for backtraceDesired

[Marge Bot (@marge-bot)]

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


Commits:
d1fb7325 by Rodrigo Mesquita at 2024-08-07T05:58:19-04:00
ghc-internal: @since for backtraceDesired

Fixes point 1 in #25052

- - - - -
28d9b3e0 by Rodrigo Mesquita at 2024-08-07T05:58:19-04:00
ghc-internal: No trailing whitespace in exceptions

Fixes #25052

- - - - -
18832617 by Andreas Klebinger at 2024-08-07T05:58:20-04:00
Add since annotation for -fkeep-auto-rules.

This partially addresses #25082.

- - - - -
0e308198 by Andreas Klebinger at 2024-08-07T05:58:20-04:00
Mention `-fkeep-auto-rules` in release notes.

It was added earlier but hadn't appeared in any release notes yet.
Partially addresses #25082.

- - - - -
64bd4908 by Sylvain Henry at 2024-08-07T05:58:23-04:00
Cmm: don't perform unsound optimizations on 32-bit compiler hosts

- beef61351b240967b49169d27a9a19565cf3c4af enabled the use of
  MO_Add/MO_Sub for 64-bit operations in the C and LLVM backends
- 6755d833af8c21bbad6585144b10e20ac4a0a1ab did the same for the x86 NCG
  backend

However we store some literal values as `Int` in the compiler. As a
result, some Cmm optimizations transformed target 64-bit literals into
compiler `Int`. If the compiler is 32-bit, this leads to computing with
wrong literals (see #24893 and #24700).

This patch disables these Cmm optimizations for 32-bit compilers. This
is unsatisfying (optimizations shouldn't be compiler-word-size
dependent) but it fixes the bug and it makes the patch easy to backport.
A proper fix would be much more invasive but it shall be implemented in
the future.

Co-authored-by: amesgen <amesgen at amesgen.de>

- - - - -
65d9bd2d by Vladislav Zavialov at 2024-08-07T05:58:23-04:00
docs: Update info on RequiredTypeArguments

Add a section on "types in terms" that were implemented in 8b2f70a202
and remove the now outdated suggestion of using `type` for them.

- - - - -
8c42a6cd by Sylvain Henry at 2024-08-07T05:58:26-04:00
JS: fix minor typo in base's jsbits

- - - - -
4fba7bd5 by Sylvain Henry at 2024-08-07T05:58:26-04:00
RTS: remove hack to force old cabal to build a library with only JS sources

Need to extend JSC externs with Emscripten RTS definitions to avoid
JSC_UNDEFINED_VARIABLE errors when linking without the emcc rts.

Fix #25138

Some recompilation avoidance tests now fail. This is tracked with the
other instances of this failure in #23013. My hunch is that they were
working by chance when we used the emcc linker.

Metric Decrease:
    T24602_perf_size

- - - - -
5e4ede48 by Brandon Chinn at 2024-08-07T05:58:29-04:00
Support multiline strings in type literals (#25132)

- - - - -
722a5114 by Sylvain Henry at 2024-08-07T05:58:32-04:00
JS: fix callback documentation (#24377)

Fix #24377

- - - - -


30 changed files:

- compiler/GHC/Cmm/Opt.hs
- compiler/GHC/Parser.y
- compiler/GHC/StgToJS/Linker/Linker.hs
- compiler/GHC/Tc/Gen/HsType.hs
- docs/users_guide/9.12.1-notes.rst
- docs/users_guide/exts/required_type_arguments.rst
- docs/users_guide/javascript.rst
- docs/users_guide/using-optimisation.rst
- libraries/ghc-internal/jsbits/base.js
- libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs
- libraries/ghc-internal/src/GHC/Internal/JS/Foreign/Callback.hs
- rts/js/mem.js
- rts/rts.cabal
- − rts/version.c
- + testsuite/tests/codeGen/should_run/T24700.hs
- + testsuite/tests/codeGen/should_run/T24700.stdin
- + testsuite/tests/codeGen/should_run/T24700.stdout
- + testsuite/tests/codeGen/should_run/T24893.hs
- + testsuite/tests/codeGen/should_run/T24893.stdout
- testsuite/tests/codeGen/should_run/all.T
- testsuite/tests/driver/T13914/T13914.stdout
- testsuite/tests/driver/all.T
- testsuite/tests/driver/recomp011/all.T
- + testsuite/tests/exceptions/T25052.hs
- + testsuite/tests/exceptions/T25052.stdout
- + testsuite/tests/exceptions/all.T
- + testsuite/tests/parser/should_compile/T25132.hs
- testsuite/tests/parser/should_compile/all.T
- testsuite/tests/printer/Makefile
- + testsuite/tests/printer/Test25132.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f384665bfff73b92d5ef14c8ed47f8df815b5de4...722a5114224568bef928eef4f0bbfe48f14e7f0b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f384665bfff73b92d5ef14c8ed47f8df815b5de4...722a5114224568bef928eef4f0bbfe48f14e7f0b
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/20240807/f738378e/attachment.html>