[Git][ghc/ghc][wip/ghc-9.10.2-submodules] 92 commits: 9.10.2 backport batch 5 - patch notes.
Ben Gamari (@bgamari)
gitlab at gitlab.haskell.org
Thu Feb 27 17:10:26 UTC 2025
Ben Gamari pushed to branch wip/ghc-9.10.2-submodules at Glasgow Haskell Compiler / GHC
Commits:
1e9f966b by Andreas Klebinger at 2025-02-05T13:16:42+01:00
9.10.2 backport batch 5 - patch notes.
- - - - -
f959fbbf by Andreas Klebinger at 2025-02-05T13:16:44+01:00
9.10.2: Bump base to version 4.20.1
- - - - -
1fd4f8d4 by Andreas Klebinger at 2025-02-05T13:16:44+01:00
Allow unknown fd device types for setNonBlockingMode.
This allows fds with a unknown device type to have blocking mode
set. This happens for example for fds from the inotify subsystem.
Fixes #25199.
(cherry picked from commit 620becd72ec18ca08c1ed86759d65a0e614fe43c)
- - - - -
a610550e by Sylvain Henry at 2025-02-05T13:16:44+01:00
Fix interaction between fork and kqueue (#24672)
A kqueue file descriptor isn't inherited by a child created with fork.
As such we mustn't try to close this file descriptor as we would close a
random one, e.g. the one used by timerfd.
Fix #24672
(cherry picked from commit e7a26d7a6faf1ea534e036c5085a0a027dbb6f5f)
- - - - -
877ce54e by Sylvain Henry at 2025-02-05T13:16:44+01:00
JS: fix h$withCStringOnHeap helper (#25288)
strlen returns the length of the string without the \0 terminating byte,
hence CString weren't properly allocated on the heap (ending \0 byte was
missing).
- - - - -
2694559a by Ben Gamari at 2025-02-05T13:16:44+01:00
base: Propagate `error` CallStack to thrown exception
Previously `errorCallWithCallStackException` failed to propagate its
`CallStack` argument, which represents the call-chain of the preceding
`error` call, to the exception that it returned. Consequently, the
call-stack of `error` calls were quite useless.
Unfortunately, this is the second time that I have fixed this but it
seems the first must have been lost in rebasing.
Fixes a bug in the implementation of CLC proposal 164
<https://github.com/haskell/core-libraries-committee/issues/164>
Fixes #24807.
(cherry picked from commit 5f7c20bc6b9deacabb1fb099781f00371cdb4369)
- - - - -
295066e0 by Matthew Pickering at 2025-02-05T13:16:44+01:00
driver: Fix -working-dir for foreign files
-working-dir definitely needs more serious testing, there are some easy
ways to test this.
* Modify Cabal to call ghc using -working-dir rather than changing
directory.
* Modify the testsuite to run ghc using `-working-dir` rather than
running GHC with cwd = temporary directory.
However this will have to wait until after 9.12.
Fixes #25150
(cherry picked from commit c20d51867c824e32c61bd1e002680bef268e4f51)
- - - - -
66bc119e by Matthew Pickering at 2025-02-05T13:16:44+01:00
ci: Fix variable inheritence for ghcup-metadata testing job
Downstream in ghcup-ci we use the CONFIGURE_ARGS variable to determine
how to setup all the different jobs.
On the downstream trigger this was being inherited from the default
setting in .gitlab.yml file.
Therefore this led to job failures as the necessary CONFIGURE_ARGS were
not being passed to the configure script when installing the bindist.
See docs:
* https://docs.gitlab.com/ee/ci/yaml/#inherit
* https://docs.gitlab.com/ee/ci/yaml/#triggerforward
1. inherit:variables:fals
- This stops the global variables being inherited into the job and
hence forwarded onto the downstream job.
2. trigger:forward:*
- yaml_variables: true (default) pass yaml variables to downstream,
this is important to pass the upstream pipeline id to downstream.
- pipeline_variables: false (default) but don't pass pipeline
variables (normal environment variables).
Fixes #25294
(cherry picked from commit 7cb7172eff9e18ed1c98f65a98018f76c4fcc9f6)
- - - - -
8115f185 by Andreas Klebinger at 2025-02-05T13:16:44+01:00
ghc-experimental: Expose primops and ghc extensions via GHC.PrimOps
This will be the new place for functions that would have gone into
GHC.Exts in the past but are not stable enough to do so now.
Addresses #25242
(cherry picked from commit 39497eeda74fc7f1e7ea89292de395b16f69cee2)
- - - - -
3d359ceb by Sven Tennie at 2025-02-05T13:16:44+01:00
AArch64: Simplify BL instruction
The BL constructor carried unused data in its third argument.
(cherry picked from commit eb612fbc8e94d50c9895c02f3d6ee076f61b7773)
- - - - -
9b4326cf by Sven Tennie at 2025-02-05T13:16:45+01:00
AArch64: Implement switch/jump tables (#19912)
This improves the performance of Cmm switch statements (compared to a
chain of if statements.)
(cherry picked from commit 1d22611665117131d1c7c3c0287696e8efcc88f2)
- - - - -
c84829f6 by Andrzej Rybczak at 2025-02-05T13:16:45+01:00
Fix typo in the @since annotation of annotateIO
(cherry picked from commit 55609880c3eeda2c13859c10c157d7df05496288)
- - - - -
49c55699 by Cristiano Moraes at 2025-02-05T13:16:45+01:00
configure: Find C++ probing when GCC version is the latest but G++ is old #23118
(cherry picked from commit 78ad81ecef846f73fee0f6c1a86cd6f19aa29b21)
- - - - -
cfc314a3 by sheaf at 2025-02-05T13:16:45+01:00
LLVM: use sse4.2 instead of sse42
LLVM expects the former instead of the latter since version 3.4.
Fixes #25019
(cherry picked from commit 694489edf35c35b29fbdf09a8e3fdc404469858f)
- - - - -
c9285fd3 by sheaf at 2025-02-05T13:16:45+01:00
LLVM: make SSE4.2 imply +popcnt
For consistency with the NCG as well as with Clang and GCC, we make
the SSE4.2 feature flag imply +popcnt when using the LLVM backend.
Fixes #25353
(cherry picked from commit 06ae85071b95376bd1eb354f7cc7901aed45b625)
- - - - -
494646ba by Ben Gamari at 2025-02-05T13:16:45+01: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.
(cherry picked from commit d029f1700effa626ff622700b198ed49ee8b6c19)
- - - - -
c193dfb6 by Ben Gamari at 2025-02-05T13:16:45+01:00
base: Add test for #25066
(cherry picked from commit da5d7d0d8bde06a1c29612fd17b6a579fc523036)
- - - - -
aae9f5eb by Ben Gamari at 2025-02-05T13:16:45+01: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
(cherry picked from commit eb7ddae1a2b3fb1be1cd635849516a6398327b29)
- - - - -
69c96a5e by Ben Gamari at 2025-02-05T13:16:45+01:00
base: Improve documentation of Control.Exception.Backtrace
(cherry picked from commit 0060ece762d7a936daf28195676b6162c30dc845)
- - - - -
f7654701 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
9.10.2 - more changelogs
- - - - -
095575a4 by Cheng Shao at 2025-02-05T13:16:45+01:00
Revert "compiler: start deprecating cmmToRawCmmHook"
This reverts commit 1c064ef1f3e1aa2afc996e962ad53effa99ec5f4. Turns
out the GHC-WPC project does use it to observe Cmm in the pipeline,
see #25363.
(cherry picked from commit 525d451e175c7d6acfa968ce99d8d3fc7a8af0c7)
- - - - -
c6574dc0 by Cheng Shao at 2025-02-05T13:16:45+01:00
rts: fix pointer overflow undefined behavior in bytecode interpreter
This patch fixes an unnoticed undefined behavior in the bytecode
interpreter. It can be caught by building `rts/Interpreter.c` with
`-fsanitize=pointer-overflow`, the warning message is something like:
```
rts/Interpreter.c:1369:13: runtime error: addition of unsigned offset to 0x004200197660 overflowed to 0x004200197658
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior rts/Interpreter.c:1369:13
rts/Interpreter.c:1265:13: runtime error: addition of unsigned offset to 0x004200197660 overflowed to 0x004200197658
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior rts/Interpreter.c:1265:13
rts/Interpreter.c:1645:13: runtime error: addition of unsigned offset to 0x0042000b22f8 overflowed to 0x0042000b22f0
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior rts/Interpreter.c:1645:13
```
Whenever we do something like `SpW(-1)`, the negative argument is
implicitly converted to an unsigned integer type and causes pointer
arithmetic overflow. It happens to be harmless for most targets since
overflowing would wrap the result to desired value, but it's still
coincidental and undefined behavior. Furthermore, it causes real
damage to the wasm backend, given clang-20 will emit invalid wasm code
that crashes at run-time for this kind of C code! (see
https://github.com/llvm/llvm-project/issues/108770)
The fix here is adding some explicit casts to ensure we always use the
signed `ptrdiff_t` type as right hand operand of pointer arithmetic.
(cherry picked from commit 5bcfefd5bb73c18a9bad63d1813968832b696f9a)
- - - - -
6f063d52 by Zubin Duggal at 2025-02-05T13:16:45+01:00
rel-eng: ghcup metadata generation: generated yaml anchors with meaningful names
(cherry picked from commit d83f5bd730a8aef37d8a38b3560590d9798f8e45)
(cherry picked from commit 280b627869da55a22b4b9a3458e6115b06b5fff4)
- - - - -
cf621c89 by Zubin Duggal at 2025-02-05T13:16:45+01:00
release: copy zip files into the correct directory
Fixes #25446
(cherry picked from commit 346e4cd1903b2cbcc9bb7c39652666c513eb2a59)
- - - - -
92d3d9a0 by Zubin Duggal at 2025-02-05T13:16:45+01:00
release: Sign .gz bindists too
Fixes #25447
(cherry picked from commit bbdbe2254df1bfc9157cfb409afc93f8157712cd)
- - - - -
4381b865 by Sebastian Graf at 2025-02-05T13:16:45+01:00
DmdAnal: Make `prompt#` lazy (#25439)
This applies the same treatment to `prompt#` as for `catch#`.
See `Note [Strictness for mask/unmask/catch/prompt]`.
Fixes #25439.
(cherry picked from commit 00d58ae18a7ce8db6b2d57261a08ba8c1c2549b5)
- - - - -
25797520 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
Compacting GC: Handle black holes in large objects.
As #14497 showed black holes can appear inside large objects when
we capture a computation and later blackhole it like we do for AP_STACK
closures.
Fixes #24791
(cherry picked from commit 7f90f319531c312a074d21688b05f664f0d173fc)
- - - - -
db9e443a by Ben Gamari at 2025-02-05T13:16:45+01:00
rts: Allow ExecPage to allocate anywhere in address space
Currently the ExecPage facility has two users:
* GHCi, for constructing info tables, and
* the adjustor allocation path
Despite neither of these have any spatial locality constraints ExecPage
was using the linker's `mmapAnonForLinker`, which tries hard to ensure
that mappings end up nearby the executable image. This makes adjustor
allocation needlessly subject to fragmentation concerns.
We now instead return less constrained mappings, improving the
robustness of the mechanism.
Addresses #25503.
(cherry picked from commit a104508d2ea5bbc61c4a756dca42fc043b329709)
- - - - -
cc5bebf9 by Ben Gamari at 2025-02-05T13:16:45+01:00
base: Fix incorrect mentions of GHC.Internal.Numeric
These were incorrectly changed by the automated refactoring of the
`ghc-internal` migration.
Fixes #25521.
(cherry picked from commit c3fc9b861fd00a85a4fcbd9960b8242d9fabe04b)
- - - - -
a0cc8121 by Arnaud Spiwack at 2025-02-05T13:16:45+01:00
Add test for #25428
(cherry picked from commit e6c957e49260230c4cb297aeec16be3293381fb7)
- - - - -
655482c7 by Rodrigo Mesquita at 2025-02-05T13:16:45+01:00
ghc-internal: Derive version from ghc's version
Fixes #25005
This also introduces ghc-experimental.cabal.in
(cherry picked from commit 05116c83ec0d74bc66fa50181df8f577a09f24a6)
- - - - -
59b542fe by Andreas Klebinger at 2025-02-05T13:16:45+01:00
Change versionig of ghc-experimental to follow ghc versions.
Just like ghc-internal it will now use the @ProjectVersionForLib@ macro for versioning.
This means for ghc=9.10.1, ghc-experimental's version will be 9.1001.0 and so on.
This fixes #25289
(cherry picked from commit 2293c0b7d709df7be04f596e72c97fd2435c4134)
- - - - -
bc0dcc49 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
Update ghc-experimental-exports.
We moved primops into ghc-experimental in a patch we backported.
However some of the definitions moved don't exist on the 9.10 branch
so we have to update the exports.
- - - - -
91a2d560 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
Bump hackage state.
This avoids some bound issues when using ghc-9.10.1 as boot compiler.
- - - - -
b1491a90 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
CI fixes for 9.10 backports: export tests and perf window.
* Accept windows export changes. (No simd on 9.10)
* Accept some slightly metric decreases.
-------------------------
Metric Decrease:
T15703
T9872d
-------------------------
- - - - -
edd3c128 by Andreas Klebinger at 2025-02-05T13:16:45+01:00
9.10 record more changes in changelog
- - - - -
5adb9d87 by Andreas Klebinger at 2025-02-05T14:04:15+01:00
9.10.2 Changelog - Batch 6
- - - - -
e41456fc by Andreas Klebinger at 2025-02-05T16:49:41+01:00
Fix windows exports yet again
- - - - -
128825be by Simon Peyton Jones at 2025-02-06T13:28:48+01:00
Consider Wanteds with rewriters as insoluble
This MR fixes #25325
See GHC.Tc.Types.Constraint, Note [Insoluble Wanteds], especially (IW2)
There is a small change in the error message for T14172, but it looks
entirely acceptable to me.
(cherry picked from commit 083703a12cd34369e7ed2f0efc4a5baee47aedab)
- - - - -
d6f6d927 by Simon Peyton Jones at 2025-02-06T13:29:07+01:00
Wibbles
(cherry picked from commit 0dfaeb66fb8457e7339abbd44d5c53a81ad8ae3a)
- - - - -
8ee0a3df by Simon Peyton Jones at 2025-02-06T13:29:14+01:00
Spelling errors
(cherry picked from commit 09d24d828e48c2588a317e6dad711f8673983703)
- - - - -
68d3ab8b by Arnaud Spiwack at 2025-02-06T13:45:53+01:00
Don't bypass MonoLocalBind in empty patterns
Fixes #25428
(cherry picked from commit 52d97f4ecd37bf598560dbded2d50649db5cfe1d)
- - - - -
15ca7b2c by Andreas Klebinger at 2025-02-06T14:25:25+01:00
hadrian: Bump directory bound to >=1.3.9
Earlier versions of `directory` are racy on Windows due to #24382.
- - - - -
420e9244 by Andreas Klebinger at 2025-02-14T13:10:44+01:00
Revert "AArch64: Implement switch/jump tables (#19912)"
This reverts commit 9b4326cf4180eb70f7474aa143b46a49cb69306f.
- - - - -
8871bb89 by Ben Gamari at 2025-02-14T13:10:44+01:00
rts/linker: Fix out-of-bounds mapping logic
Previously the structure of `mmapInRegion` concealed a subtle bug
concerning handling of `mmap` returning mappings below the beginning of
the desired region. Specifically, we would reset `p = result + bytes`
and then again reset `p = region->start` before looping around for
another iteration. This resulted in an infinite loop on FreeBSD.
Fixes #25492.
(cherry picked from commit 292ed74ea908b64490e91346b890cbebdcde37d0)
- - - - -
663c1711 by Ben Gamari at 2025-02-14T13:10:44+01:00
rts/linker: Clarify debug output
(cherry picked from commit 20912f5bac6fe4146172accc1849d9b762eb45e3)
- - - - -
9b2e13db by Ben Gamari at 2025-02-14T13:10:44+01:00
hadrian: Mitigate mktexfmt race
At least some versions of Texlive's `mktexfmt` utility cannot be invoked
concurrently in their initial run since they fail to handle failure of
`mkdir` due to racing. Specifically, we see
```
| Run Xelatex: users_guide.tex => /tmp/extra-dir-9616886274866
| Run Xelatex: Haddock.tex => /tmp/extra-dir-9616886274869
This is XeTeX, Version 3.14159265-2.6-0.999992 (TeX Live 2020) (preloaded format=xelatex)
restricted \write18 enabled.
kpathsea: Running mktexfmt xelatex.fmt
mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
mktexfmt: /builds/ghc/ghc/tmp-home/.texlive2020/texmf-config/web2c/fmtutil.cnf
/usr/bin/mktexfmt: mkdir(/builds/ghc/ghc/tmp-home/.texlive2020/texmf-var/web2c/) failed for tree /builds/ghc/ghc/tmp-home/.texlive2020/texmf-var/web2c: File exists at /usr/share/texlive/tlpkg/TeXLive/TLUtils.pm line 937.
I can't find the format file `xelatex.fmt'!
```
That is two `mktexfmt` invocations (for the user's guide and haddock
builds) attempted to create `$HOME/texlive2020/texmf-var/web2c` and
raced. One of the two `mkdir`'s consequently failed, bringing down the
entire build.
We avoid this by ensuring that the first `xelatex` invocation is always
performed serially.
Fixes #25564.
(cherry picked from commit 41dae5b86955094aa4c5647f63f1f52f1a8a5519)
- - - - -
4b00e0dc by Ben Gamari at 2025-02-14T13:10:44+01:00
rts/CheckUnload: Reset old_objects if unload is skipped
Previously `checkUnload` failed to reset `old_objects` when it decided
not to unload (e.g. due to heap profiling being enabled).
Fixes #24935.
(cherry picked from commit 9efbc51f99118e8f9c3abf2bcb6dc3295893ded6)
- - - - -
653b86ae by Ben Gamari at 2025-02-14T13:10:44+01:00
rts(setNumCapabilities): Assert that n_caps < MAX_N_CAPS
It was noticed in #25560 that this would previously be allowed,
resulting in a segfault.
I will add a proper exception in `base` in a future commit.
(cherry picked from commit f08a72eb484193934c56e34366b277f4d7247a24)
- - - - -
1e7ef0a1 by Ben Gamari at 2025-02-14T13:10:44+01:00
ghc-internal: Fix inconsistent FFI import types
The foreign imports of `enabled_capabilities` and
`getNumberOfProcessors` were declared as `CInt` whereas they are defined
as `uint32_t`.
(cherry picked from commit e10d31ad849b5f7c1f052e7c93f7c7aaf85918c9)
- - - - -
e3b3358f by Ben Gamari at 2025-02-14T13:10:44+01:00
rts: Mention maximum capability count in users guide
Addresses #25560.
(cherry picked from commit 06265655bfe6b48cde6923a933d81c9889a443a3)
- - - - -
9229aef9 by Ben Gamari at 2025-02-14T13:10:44+01:00
rts/Capability: Move induction variable declaration into `for`s
Just a stylistic change.
(cherry picked from commit d488470ba302760cfd2f3515d9338d1d75f84dd5)
- - - - -
a1791350 by Ben Gamari at 2025-02-14T13:10:44+01:00
rts: Determine max_n_capabilities at RTS startup
Previously the maximum number of capabilities supported by the RTS was
statically capped at 256. However, this bound is uncomfortably low given
the size of today's machine.
While supporting unbounded, fully-dynamic adjustment would be nice, it
is complex and so instead we do something simpler: Probe the logical
core count at RTS startup and use this as the static bound for the rest
of our execution.
This should avoid users running into the capability limit on large
machines while avoiding wasting memory on a large capabilities array for
most users and keeping complexity at bay.
Addresses #25560.
(cherry picked from commit 71f050b74eaa2fdc2ca5da53f85497ac94ab6a2a)
- - - - -
b8efe316 by Ben Gamari at 2025-02-14T13:10:44+01:00
testsuite: Introduce req_c_rts
As suggested by @hsyl20, this is intended to mark tests that rely on the
behavior of the C RTS.
(cherry picked from commit 1e84b41108d96cb721dd11281105fdf621105a12)
- - - - -
4a48042c by Ben Gamari at 2025-02-14T13:10:44+01:00
testsuite: Add test for #25560
(cherry picked from commit 683115a40fd989a287fa51efe140af9448526098)
- - - - -
ae36c9e7 by Ben Gamari at 2025-02-14T13:10:44+01:00
rts/CheckUnload: Don't prepare to unload if we can't unload
Previously `prepareUnloadCheck` would move the `objects` list to
`old_objects` even when profiling (where we cannot unload). This caused
us to vacate the `objects` list during major GCs, losing track of loaded
objects. Fix this by ensuring that `prepareUnloadCheck` and
`checkUnload` both use the same short-cutting logic.
(cherry picked from commit 34d3e8e69b62b92cc438514f7fb8e37ce639efea)
- - - - -
8c363c54 by Matthew Pickering at 2025-02-14T13:10:44+01:00
typechecker: Perform type family consistency checks in topological order
Consider a module M importing modules A, B and C.
We can waste a lot of work depending on the order that the modules are
checked for family consistency.
Consider that C imports A and B. When compiling C we must have already
checked A and B for consistency, therefore if C is processed first then
A and B will not need to be checked for consistency again.
If A and B are compared first, then the consistency checks will be
performed against (wasted as we already performed them for C).
At the moment the order which modules are checked is non-deterministic.
Clearly we should engineer that C is checked before B and A, but by what
scheme?
A simple one is to observe that if a module M is in the transitive
closure of X then the size of the consistent family set of M is less
than or equal to size of the consistent family set of X.
Therefore by sorting the imports by the size of the consistent family
set and processing the largest first, you make sure to process modules
in topological order.
In practice we have observed that this strategy has reduced the amount
of consistency checks performed.
One solution to #25554
(cherry picked from commit 13fe48d40004d9cdf3c73300a18f144bdc5191d9)
- - - - -
a31ca08b by Ben Gamari at 2025-02-14T13:10:44+01:00
rts: Fix incorrect format specifiers in era profiling
Fixes #25581.
(cherry picked from commit 430d965a176d6c9e629d169fa0606923275c8332)
- - - - -
045ff13b by Cheng Shao at 2025-02-14T13:10:44+01:00
ci: minor nix-in-docker improvements
This patch makes some minor improvements re nix-in-docker logic in the
ci configuration:
- Update `nixos/nix` to the latest version
- Apply $CPUS to `cores`/`max-jobs` to avoid oversubscribing while
allowing a reasonable degree of parallelism
- Remove redundant `--extra-experimental-features nix-command` in
later `nix shell` invocations, it's already configured in
`/etc/nix/nix.conf`
(cherry picked from commit 291388e18b5b61a02a43cc153a642fd67d6127c4)
- - - - -
852c738e by Zubin Duggal at 2025-02-14T13:10:44+01:00
ghcup metadata: output metadata fragment in CI
(cherry picked from commit 52b58a660e735b20961d792d8fa9267f01247a50)
(cherry picked from commit 04433916cdedab80114cbed1dc399ae816bada91)
- - - - -
1f594b60 by Zubin Duggal at 2025-02-14T13:10:44+01:00
ghcup metatdata: use fedora33 for redhat
Redhat 9 doesn't have libtinfo.so.5 anymore
(cherry picked from commit dc86785eb43afd1bd292287c064fb5ad94fe8c7f)
(cherry picked from commit 7c78804e3b25d2c0246cd1f3ce0d4015431e5831)
- - - - -
98d0ec4e by Zubin Duggal at 2025-02-14T13:10:44+01:00
ghcup metadata: still use centos for redhat <9
(cherry picked from commit 1d72cfb2c1054bc8a399855d5c68443c969d2f66)
- - - - -
29e25ab0 by Simon Peyton Jones at 2025-02-14T13:10:44+01:00
Preserve orientation when unifying kinds
This MR fixes yet another manifestation of the trickiness caused
by Note [Fundeps with instances, and equality orientation].
I wish there was a more robust way to do this, but this fix is
a definite improvement.
Fixes #25597
(cherry picked from commit 63d63f9d3e074c3bcf5b526ee14e50cb2b6b9d70)
- - - - -
418b6bc7 by ARATA Mizuki at 2025-02-14T13:37:49+01:00
Fix LLVM version detection
With a recent LLVM, `llc -version` emits the version on the first line
if the vendor is set. It emits the version on the second line
otherwise.
Therefore, we need to check the both lines to detect the version.
GHC now emits a warning if it fails to detect the LLVM version,
so we can notice if the output of `llc -version` changes in the future.
Also, the warning for using LLVM < 10 on s390x is removed, because
we assume LLVM >= 13 now.
This fixes the definition of __GLASGOW_HASKELL_LLVM__ macro.
Fixes #25606
(cherry picked from commit a928c326011f1a6bef3289a4c36d4e19b5951229)
- - - - -
f4847884 by Cheng Shao at 2025-02-14T13:37:58+01:00
xxhash: bump to v0.8.3
(cherry picked from commit 42826a8941ecedd329844b675e26d30bdb6cd46b)
- - - - -
a7402f41 by Ben Gamari at 2025-02-14T13:38:06+01:00
compiler: Fix CPP guards around ghc_unique_counter64
The `ghc_unique_counter64` symbol was introduced in the RTS in the
64-bit unique refactor (!10568) which has been backported to %9.6.7 and
%9.8.4. Update the CPP to reflect this.
Fixes #25576.
(cherry picked from commit 595013d41464c1e328369bb81ce0ea2814e91b68)
- - - - -
600e7de5 by Jens Petersen at 2025-02-14T13:38:46+01:00
hp2ps/Utilities.c: add extern parameter types for malloc and realloc for C23
Fix build with gcc-15 which defaults to C23 standard (-std=gnu23)
Fixes #25662
```
utils/hp2ps/Utilities.c:6:14: error:
warning: conflicting types for built-in function ‘malloc’; expected ‘void *(long unsigned int)’ [-Wbuiltin-declaration-mismatch]
6 | extern void* malloc();
| ^~~~~~
|
6 | extern void* malloc();
| ^
utils/hp2ps/Utilities.c:5:1: error:
note: ‘malloc’ is declared in header ‘<stdlib.h>’
4 | #include "Error.h"
+++ |+#include <stdlib.h>
5 |
|
5 |
| ^
utils/hp2ps/Utilities.c: In function ‘xmalloc’:
utils/hp2ps/Utilities.c:80:17: error:
error: too many arguments to function ‘malloc’; expected 0, have 1
80 | r = (void*) malloc(n);
| ^~~~~~ ~
|
80 | r = (void*) malloc(n);
| ^
utils/hp2ps/Utilities.c:6:14: error:
note: declared here
6 | extern void* malloc();
| ^~~~~~
|
6 | extern void* malloc();
| ^
utils/hp2ps/Utilities.c: In function ‘xrealloc’:
utils/hp2ps/Utilities.c:92:18: error:
warning: conflicting types for built-in function ‘realloc’; expected ‘void *(void *, long unsigned int)’ [-Wbuiltin-declaration-mismatch]
92 | extern void *realloc();
| ^~~~~~~
|
92 | extern void *realloc();
| ^
utils/hp2ps/Utilities.c:92:18: error:
note: ‘realloc’ is declared in header ‘<stdlib.h>’
|
92 | extern void *realloc();
| ^
utils/hp2ps/Utilities.c:94:9: error:
error: too many arguments to function ‘realloc’; expected 0, have 2
94 | r = realloc(p, n);
| ^~~~~~~ ~
|
94 | r = realloc(p, n);
| ^
utils/hp2ps/Utilities.c:92:18: error:
note: declared here
92 | extern void *realloc();
| ^~~~~~~
|
92 | extern void *realloc();
| ^
```
(cherry picked from commit f983a00ffc97b779eb52b10e69e254ec107f8311)
- - - - -
858349a6 by Jens Petersen at 2025-02-14T13:39:04+01:00
hp2ps/Utilities.c: add extern parameter types for malloc and realloc for C23
use portable C types!
(cherry picked from commit 70f7741acd9d50a6cc07553aeaae600afe4a72b8)
- - - - -
f66bba73 by Matthew Pickering at 2025-02-14T13:39:54+01:00
bytecode: Do not generate `SLIDE x 0` instructions
SLIDE x 0 is a no-op as it means to shift x elements of the stack by no
spaces. In the interpreter, this results in a loop which copies an array
element into the same place.
I have instrumented GHCi to count how many of these instructions are interpreted.
The workload was `ghc` compiling two simple modules.
Total no-op slides: 7793476
Total slides: 11413289
Percentage useless (slides): 68%
Percentage uselss of total instructions: 9%
(cherry picked from commit bf8c7d6edf224c083c90ab3ddac49979ac18ad39)
- - - - -
9d3dcef2 by Luite Stegeman at 2025-02-14T14:00:21+01:00
Add flags for switching off speculative evaluation.
We found that speculative evaluation can increase the amount of
allocations in some circumstances. This patch adds new flags for
selectively disabling speculative evaluation, allowing us to
test the effect of the optimization.
The new flags are:
-fspec-eval
globally enable speculative evaluation
-fspec-eval-dictfun
enable speculative evaluation for dictionary functions (no effect
if speculative evaluation is globally disabled)
The new flags are on by default for all optimisation levels.
See #25284
(cherry picked from commit 2309975247543a4f77009ea5c3c7a8ebe06dc60b)
- - - - -
1f0035f6 by Andrei Borzenkov at 2025-02-17T17:07:04+01:00
Add missing entires to the release notes (#24970, #24830)
(cherry picked from commit 2bb21ba8c6a1b66e17b27a3e6ace338c1f38a46d)
- - - - -
388573b2 by Andreas Klebinger at 2025-02-19T15:07:57+01:00
Small fixes for CI/testsuite
- - - - -
b7c579a3 by Andreas Klebinger at 2025-02-20T14:54:21+01:00
Windows ci fix
- - - - -
943eec07 by Andreas Klebinger at 2025-02-27T15:36:48+01:00
More patch notes
- - - - -
ab5e7d46 by Zubin Duggal at 2025-02-27T17:28:50+01:00
release: copy index.html from correct directory
(cherry picked from commit cbfd0829cd61928976c9eb17ba4af18272466063)
(cherry picked from commit ea3f7fd5f702d41077fff0a749b9c443d54e4844)
- - - - -
6704474d by Zubin Duggal at 2025-02-27T17:36:24+01:00
Add haskeline to stage0Packages
Otherwise we link against boot inplace and boot unix as boot haskeline
depends on boot unix.
(cherry picked from commit 90b493769ebdf3cd7be404d18462dc20ac1044df)
(cherry picked from commit 3e10fa7526af3f5f90c08226c25291cdd430bec8)
- - - - -
2d0e51da by Ben Gamari at 2025-02-27T12:07:18-05:00
gitlab-ci: Bump aarch64-darwin boostrap compiler to 9.6.4
Bringing it into alignment with the other platforms.
- - - - -
7168be86 by Ben Gamari at 2025-02-27T12:08:26-05:00
Cabal: Bump to 3.12.1.0
Updates Cabal submodule.
- - - - -
c5c1e4eb by Ben Gamari at 2025-02-27T12:08:34-05:00
bytestring: Bump to 0.12.2.0
Updates bytestring submodule.
- - - - -
0d79800c by Ben Gamari at 2025-02-27T12:08:39-05:00
binary: Bump to 0.8.9.3
Updates binary submodule
- - - - -
a1c4dc2a by Ben Gamari at 2025-02-27T12:08:44-05:00
array: Bump to 0.5.8.0
Updates array submodule.
- - - - -
6494c5a8 by Ben Gamari at 2025-02-27T12:08:50-05:00
filepath: Bump to 1.5.4.0
Updates filepath submodule.
- - - - -
392891b5 by Ben Gamari at 2025-02-27T12:08:54-05:00
hpc: Bump to 0.7.0.2
Updates hpc submodule.
- - - - -
c3352dc8 by Ben Gamari at 2025-02-27T12:08:59-05:00
parsec: Bump to 3.1.18.0
Updates parsec submodule.
- - - - -
32e97d59 by Ben Gamari at 2025-02-27T12:09:04-05:00
terminfo: Bump to 0.4.1.7
Updates terminfo submodule
- - - - -
957edf51 by Ben Gamari at 2025-02-27T12:09:09-05:00
text: Bump to 2.1.2
Updates text submodule.
- - - - -
46b72688 by Ben Gamari at 2025-02-27T12:09:13-05:00
unix: Bump to 2.8.6.0
Updates unix submodule.
- - - - -
9d955efd by Ben Gamari at 2025-02-27T12:09:18-05:00
exceptions: Bump to 0.10.9
Updates exceptions submodule.
- - - - -
fa2af558 by Ben Gamari at 2025-02-27T12:09:24-05:00
Win32: Bump to 2.14.1.0
Updates Win32 submodule.
- - - - -
816f6d6c by Ben Gamari at 2025-02-27T12:09:30-05:00
directory: Bump to 1.3.8.5
Updates directory submodule.
- - - - -
10622930 by Ben Gamari at 2025-02-27T12:09:35-05:00
Bump process submodule to v1.6.25.0
(cherry picked from commit 18f532f3ed021fff9529f50da2006b8a8d8b1df7)
- - - - -
616e85c6 by Ben Gamari at 2025-02-27T12:09:35-05:00
darwin: Drop workaround for #20253
- - - - -
200 changed files:
- .gitignore
- .gitlab-ci.yml
- .gitlab/ci.sh
- .gitlab/darwin/nix/sources.json
- .gitlab/darwin/nix/sources.nix
- .gitlab/darwin/toolchain.nix
- .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py
- .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py
- .gitlab/rel_eng/recompress-all
- .gitlab/rel_eng/upload.sh
- compiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/primops.txt.pp
- compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
- compiler/GHC/CmmToAsm/AArch64/Instr.hs
- compiler/GHC/CmmToAsm/AArch64/Ppr.hs
- compiler/GHC/CmmToLlvm.hs
- compiler/GHC/CoreToStg/Prep.hs
- compiler/GHC/Driver/Config/CoreToStg/Prep.hs
- compiler/GHC/Driver/DynFlags.hs
- compiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Hooks.hs
- compiler/GHC/Driver/Main.hs
- compiler/GHC/Driver/Pipeline.hs
- compiler/GHC/Driver/Pipeline/Execute.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/StgToByteCode.hs
- compiler/GHC/SysTools/Tasks.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Gen/Bind.hs
- compiler/GHC/Tc/Instance/Family.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Solver/Equality.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/Unify.hs
- compiler/cbits/genSym.c
- docs/users_guide/9.10.1-notes.rst
- docs/users_guide/9.10.2-notes.rst
- docs/users_guide/phases.rst
- docs/users_guide/using-concurrent.rst
- docs/users_guide/using-optimisation.rst
- hadrian/cabal.project
- hadrian/cfg/system.config.in
- hadrian/hadrian.cabal
- hadrian/src/Oracles/Setting.hs
- hadrian/src/Rules/Documentation.hs
- hadrian/src/Rules/Generate.hs
- hadrian/src/Settings/Default.hs
- hadrian/src/Settings/Warnings.hs
- hadrian/stack.yaml
- libraries/Cabal
- libraries/Win32
- libraries/array
- libraries/base/base.cabal → libraries/base/base.cabal.in
- libraries/base/changelog.md
- libraries/base/src/Control/Exception/Backtrace.hs
- libraries/base/src/Data/Char.hs
- libraries/base/src/Data/Semigroup.hs
- libraries/base/src/GHC/Exts.hs
- libraries/base/src/Prelude.hs
- libraries/base/tests/T19288.stderr
- + libraries/base/tests/T24807.hs
- + libraries/base/tests/T24807.stderr
- + libraries/base/tests/T25066.hs
- + libraries/base/tests/T25066.stderr
- libraries/base/tests/all.T
- libraries/binary
- libraries/bytestring
- libraries/directory
- libraries/exceptions
- libraries/filepath
- libraries/ghc-experimental/ghc-experimental.cabal → libraries/ghc-experimental/ghc-experimental.cabal.in
- + libraries/ghc-experimental/src/GHC/PrimOps.hs
- libraries/ghc-heap/ghc-heap.cabal.in
- libraries/ghc-internal/ghc-internal.cabal → libraries/ghc-internal/ghc-internal.cabal.in
- libraries/ghc-internal/src/GHC/Internal/Base.hs
- libraries/ghc-internal/src/GHC/Internal/Conc/Sync.hs
- libraries/ghc-internal/src/GHC/Internal/Event/KQueue.hsc
- libraries/ghc-internal/src/GHC/Internal/Exception.hs
- libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs
- libraries/ghc-internal/src/GHC/Internal/Exts.hs
- libraries/ghc-internal/src/GHC/Internal/Foreign/C/Types.hs
- libraries/ghc-internal/src/GHC/Internal/IO.hs
- libraries/ghc-internal/src/GHC/Internal/IO/FD.hs
- libraries/ghc-internal/src/GHC/Internal/Read.hs
- libraries/ghc-internal/src/GHC/Internal/Real.hs
- libraries/ghc-internal/src/GHC/Internal/System/Posix/Internals.hs
- libraries/hpc
- libraries/parsec
- libraries/process
- libraries/terminfo
- libraries/text
- libraries/unix
- m4/fp_find_cxx_std_lib.m4
- m4/fp_setup_project_version.m4
- rts/Capability.c
- rts/Capability.h
- rts/CheckUnload.c
- rts/ExecPage.c
- rts/Interpreter.c
- rts/Linker.c
- rts/ProfHeap.c
- rts/RtsSymbols.c
- rts/Schedule.c
- rts/include/rts/Config.h
- rts/include/rts/Threads.h
- rts/js/mem.js
- rts/linker/MMap.c
- rts/linker/MMap.h
- rts/sm/Compact.c
- rts/sm/Evac.c
- rts/xxhash.h
- testsuite/driver/testlib.py
- testsuite/tests/arityanal/should_run/T21694a.stderr
- testsuite/tests/arityanal/should_run/T24296.stderr
- testsuite/tests/codeGen/should_run/T16846.stderr
- testsuite/tests/codeGen/should_run/T5626.stderr
- testsuite/tests/codeGen/should_run/cgrun025.stderr
- testsuite/tests/codeGen/should_run/cgrun045.stderr
- testsuite/tests/codeGen/should_run/cgrun051.stderr
- testsuite/tests/codeGen/should_run/cgrun059.stderr
- testsuite/tests/concurrent/should_run/T13330.stderr
- testsuite/tests/concurrent/should_run/conc021.stderr
- + testsuite/tests/core-to-stg/T25284/A.hs
- + testsuite/tests/core-to-stg/T25284/B.hs
- + testsuite/tests/core-to-stg/T25284/Cls.hs
- + testsuite/tests/core-to-stg/T25284/Main.hs
- + testsuite/tests/core-to-stg/T25284/T25284.stdout
- + testsuite/tests/core-to-stg/T25284/all.T
- + testsuite/tests/deSugar/should_run/Or5.stderr
- testsuite/tests/deSugar/should_run/T11193.stderr
- testsuite/tests/deSugar/should_run/T11572.stderr
- testsuite/tests/deSugar/should_run/T11601.stderr
- testsuite/tests/dmdanal/should_run/T12368.stderr
- testsuite/tests/dmdanal/should_run/T12368a.stderr
- testsuite/tests/dmdanal/should_run/T23208.stderr
- + testsuite/tests/dmdanal/should_run/T25439.hs
- + testsuite/tests/dmdanal/should_run/T25439.stdout
- testsuite/tests/dmdanal/should_run/all.T
- testsuite/tests/dmdanal/should_run/strun002.stderr
- testsuite/tests/driver/all.T
- testsuite/tests/driver/multipleHomeUnits/multipleHomeUnits_callstack.stderr
- testsuite/tests/driver/multipleHomeUnits/unitCFile
- + testsuite/tests/driver/t25150/dir/Main.hs
- + testsuite/tests/driver/t25150/dir/a.c
- testsuite/tests/ffi/should_run/ffi008.stderr
- testsuite/tests/hpc/simple/tixs/T10529a.stderr
- testsuite/tests/hpc/simple/tixs/T10529b.stderr
- testsuite/tests/hpc/simple/tixs/T10529c.stderr
- testsuite/tests/interface-stability/base-exports.stdout
- testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
- testsuite/tests/interface-stability/base-exports.stdout-mingw32
- testsuite/tests/interface-stability/base-exports.stdout-ws-32
- testsuite/tests/interface-stability/ghc-experimental-exports.stdout
- + testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
- + testsuite/tests/javascript/js-c-sources/all.T
- + testsuite/tests/javascript/js-c-sources/js-c-sources02.hs
- + testsuite/tests/javascript/js-c-sources/js-c-sources02.stdout
- + testsuite/tests/javascript/js-c-sources/js-c-sources02_c.c
- + testsuite/tests/javascript/js-c-sources/js-c-sources02_js.js
- + testsuite/tests/lib/base/T24672.hs
- + testsuite/tests/lib/base/T24672.stdout
- testsuite/tests/lib/base/all.T
- + testsuite/tests/linear/should_compile/T25428.hs
- testsuite/tests/linear/should_compile/all.T
- + testsuite/tests/llvm/should_compile/T25019.hs
- + testsuite/tests/llvm/should_compile/T25353.asm
- + testsuite/tests/llvm/should_compile/T25353.hs
- + testsuite/tests/llvm/should_compile/T25606.hs
- testsuite/tests/llvm/should_compile/all.T
- testsuite/tests/polykinds/T14172.stderr
- testsuite/tests/process/process004.hs
- testsuite/tests/process/process004.stdout
- testsuite/tests/process/process004.stdout-javascript-unknown-ghcjs
- testsuite/tests/process/process004.stdout-mingw32
- testsuite/tests/rebindable/RebindableFailA.stderr
- testsuite/tests/rep-poly/RepPolyMcGuard.stderr
- testsuite/tests/rep-poly/RepPolyRecordUpdate.stderr
- testsuite/tests/rep-poly/T12709.stderr
- + testsuite/tests/rts/T14497-compact.hs
- + testsuite/tests/rts/T14497-compact.stdout
- + testsuite/tests/rts/T25560.hs
- testsuite/tests/rts/all.T
- testsuite/tests/safeHaskell/safeLanguage/SafeLang09.stderr
- testsuite/tests/simplCore/should_fail/T7411.stderr
- testsuite/tests/simplCore/should_run/T16066.stderr
- testsuite/tests/simplCore/should_run/T16893/T16893.stderr
- testsuite/tests/simplCore/should_run/T457.stderr
- testsuite/tests/simplCore/should_run/T5587.stderr
- testsuite/tests/simplCore/should_run/T5625.stderr
- testsuite/tests/typecheck/should_compile/T17343.stderr
- + testsuite/tests/typecheck/should_compile/T25597.hs
- testsuite/tests/typecheck/should_compile/all.T
- + testsuite/tests/typecheck/should_fail/T25325.hs
- + testsuite/tests/typecheck/should_fail/T25325.stderr
- testsuite/tests/typecheck/should_fail/all.T
- testsuite/tests/typecheck/should_run/T11049.stderr
- testsuite/tests/typecheck/should_run/T11715.stderr
- testsuite/tests/typecheck/should_run/T21973a.stderr
- testsuite/tests/unlifted-datatypes/should_run/UnlGadt1.stderr
- utils/hp2ps/Utilities.c
The diff was not included because it is too large.
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/04b2323bef52ed65419bb91c0a515d2f905b88d3...616e85c65a9d4185fa89bc6600c9dd8e89612675
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/04b2323bef52ed65419bb91c0a515d2f905b88d3...616e85c65a9d4185fa89bc6600c9dd8e89612675
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/20250227/255a6077/attachment-0001.html>
More information about the ghc-commits
mailing list