-
5df9ac56
by Simon Jakobi at 2026-10-08T23:51:51+02:00
Rename: Take the group first in findSplice's add
With the group as the first argument, the fold in findSplice no longer
needs flip, and each clause of add keeps the shape it had before the
previous commit.
Assisted-by: Claude Fable 5.1
-
2903418f
by Simon Jakobi at 2026-10-09T12:19:49+02:00
hadrian: Silence -Wsimplifiable-class-constraints in parsec
Whether the instance context `Semigroup (ParsecT s u m a)` of parsec's
Monoid instance triggers the warning depends on the order in which GHC
typechecks the module's instances (#27913). With the instance order of
the preceding commits the warning fires, and the -Werror builds in CI
fail.
The constraint has been redundant since parsec started requiring
base >= 4.12. Once the submodule carries the upstream fix
(https://github.com/haskell/parsec/pull/202), the flag can go again.
Assisted-by: Claude Fable 5.1
-
3e46b599
by sheaf at 2026-10-09T12:22:35+02:00
Take into account ifKind in freeNamesIfDecl
Commit 3c2f4bb4 added the 'ifKind' field to various constructors
of 'IfaceDecl', which preserves the original kind (before type synonym
expansion) for better error messages.
However, that commit forgot to update 'freeNamesIfDecl' correspondingly.
This could result in a "urk! lookup local fingerpring" crash when e.g.
a type's kind uses a type synonym defined later, as we failed to add a
dependency on the type synonym during dependency analysis.
Fixes #27916
(cherry picked from commit 60fce2dac3f17a56d0191cfae5fe15f126ec314d)
-
c0a7e8af
by Simon Jakobi at 2026-10-09T12:38:13+02:00
testsuite: Accept output changes from the findSplice reordering
With every HsGroup list in source order, 48 tests print the same
information in a different order or anchor an error at a different one
of several equally valid declarations: annotation, type family instance
and derived-instance dumps, `:info` listings, the renamed and
typechecked AST dumps, bytecode dumps, and the instance listing in the
base-exports stability files (all three platform variants, patched
with the CI diff since the test needs the dump-decls tool). annrun01's
getAnnotations now returns annotations in source order.
The non-order failures of the first CI run of !16781 are dealt with
separately: the "urk! lookup local fingerprint" panics by the
cherry-picked fix for #27916, parsec's warning by the hadrian flag.
Assisted-by: Claude Fable 5.1