GitLab

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

Commits:

8fc6f882

by Simon Jakobi at 2026-08-05T14:53:41-04:00

testsuite: Don't crash on non-UTF-8 test output

read_stdout, read_stderr_for, read_comp_stderr and read_diff decoded
strictly (the first three with UTF-8, read_diff with the locale
encoding), so a test emitting invalid UTF-8 (binary output, or a crash
truncating a multi-byte character) raised UnicodeDecodeError and was
reported as a framework failure instead of its actual result.

Decode with errors='replace', like read_no_crs and safe_print.

Assisted-by: Claude Fable 5

56534866

by Simon Jakobi at 2026-08-05T14:53:41-04:00

testsuite: Colorize the test summary, also in CI

The summary headings were plain, and SUMMARY was colored unconditionally,
so the escapes also ended up in the file written by --summary-file.
Color is now decided per output sink via term_color.colored_if; see the
comments in term_color.

CI logs are not a tty, but GitLab's log viewer renders ANSI colors, so
add --force-colors and pass it in .gitlab/ci.sh.

Assisted-by: Claude Opus 5

bceb541a

by Simon Jakobi at 2026-08-05T14:53:42-04:00

testsuite: Repeat unexpected failure output in the summary

Finding out why a test failed meant scrolling back through a possibly
very long log to the point where the test ran. The summary now repeats
the captured output of unexpected failures, before the statistics, so
the most interesting part is at the end of the log (#16720).

Output mismatches report their diff instead of the mismatching stream
(see Note [Redundant output in test results]). The repeated output is
bounded per stream, and skipped altogether beyond
MAX_SUMMARY_OUTPUT_TESTS failure blocks. Tests failing identically in
several ways share one block.

Test results now report a source-relative directory, stable regardless
of where the run was started from.

Assisted-by: Claude Fable 5

2ab02c57

by Ben Gamari at 2026-08-05T14:54:24-04:00

base: Don't drop exception context in SomeException(toException)

For reasons that are lost to time, the implementation of [CLC #200]
that was merged inappropriately dropped `ExceptionContext` in the
`toException` implementation given to `SomeException`.

Fix this infelicity.

[CLC #200]: https://github.com/haskell/core-libraries-committee/issues/200

126ce574

by Vladislav Zavialov at 2026-08-05T14:55:05-04:00

Test case for #20902

Starting with GHC 9.14.1 (the first major release to include 51e3ec83),
and from point releases GHC 9.10.2 and GHC 9.12.3 (backports cc4470be68
and b30f25591e), all examples in this ticket are handled as expected.

b14d8d59

by Alan Zimmerman at 2026-08-05T14:55:46-04:00

EPA: Remove LocatedP, last use in WarningTxt

The last step of removing LocatedP, by moving the AnnPragma for
WarningTxt into its TTG extension point instead.

This also allows us to remove LocatedP and SrcSpanAnnP

70b58c8f

by Vladislav Zavialov at 2026-08-05T14:56:27-04:00

Test cases for #18725

Starting with GHC 9.4 (the first release to include 268efcc9a4), the program in
this ticket no longer panics. A standalone kind signature breaks the recursive
loop, so the type constructor can be used in a kind within its own group.

T18725a checks that this is accepted with the signature present, while T18725b
confirms it is still rejected without it.

a6cbecf8