GitLab

Alan Zimmerman pushed to branch wip/az/exactprint-annotation-rationalisation at Glasgow Haskell Compiler / GHC

Commits:

d1d01fa5

by Wolfgang Jeltsch at 2026-08-27T13:17:59+03:00

Add `rethrowSTM` and improve STM-related documentation

Adding `rethrowSTM` resolves #26758.

The implementation of `rethrowSTM` is completely analogous to the one of
`rethrowIO`.

The following is established for the documentation of `throwSTM` and
`catchSTM`:

  * Both operations are directly described as analogs of their `IO`
    counterparts.

  * There is no reference to `throw` in the documentation of `throwSTM`,
    because, although such a reference is great in the documentation of
    `throwIO`, it is somewhat out of place in the documentation of
    `throwSTM`.

  * Instead of repeating part of `throwIO`’s documentation, the
    documentation of `throwSTM` just recommends using `throwSTM` instead
    of `throw` and references the corresponding arguments in the
    documentation of `throwIO`.

06fde293

by fendor at 2026-08-28T06:06:44-04:00

GHCi: Fix order of `PackageDBFlag`s for interactive home unit

`PackageDBFlag`s are stored in reverse order of cli specification.
When sorting the `PackageDBFlag`s by longest common prefix, we need thus
to reverse the package db stacks before calculating the prefix.
We make sure to reverse the package db stack for the interactive home
unit to uphold that later specified package dbs overwrite earlier ones.

Resolved and adds regression test for #27640

024c4d04

by fendor at 2026-08-28T06:07:23-04:00

Reuse the UnitIndexCache after initialising multiple home units

55326fa0

by Alan Zimmerman at 2026-08-28T06:08:03-04:00

EPA: Some Haddock processing tweaks

These changes to the Haddock postprocessing should not change
behaviour, but just bring it more closely in line with the
original, changed at 44309cd377f

And add some haddock exactprint tests to show they work.

b3ddee95

by Andreas Klebinger at 2026-08-28T13:57:46-04:00

hadrian: Deprecate quickest flavour.

It was more of a trap for new users than actually beneficial so we
deprecate it and suggest quick+no_dynamic_libs to users instead.

a1d81390

by Andreas Klebinger at 2026-08-28T13:58:37-04:00

cmm: Always favour entry block during block deduplication.

We now always keep the first block in the CmmGraph. This way we avoid
the need to update the entry info table.

Failing to do so caused #27722.

Fixes #27722.

5bd65f00

by Andreas Klebinger at 2026-08-28T13:59:16-04:00

test: FamAppCachePerf - Only collect bytes allocated. Fixes 27747

e9c6b1d3

by Alan Zimmerman at 2026-08-29T13:02:56+01:00

EPA Fix HsCmdDo exact print with comments

Exact printing of HsCmdDo was ignoring the location for the do
statements, and this is an annotation that can have comments in it.

Update it so we print the statements as a unit, including any
comments.

Also add the result of auditing that we capture comments in all needed
places, noting that the remaining Anno SrcSpan instances are benign.

a58d91ee