-
66d1a5d5
by fendor at 2026-07-07T16:57:56-04:00
Add 'backendInfoTableMapValidity' backend predicate
Check whether the backend supports the `-finfo-table-map` flag and
ignore it otherwise.
Improve by-design documentation of `backendCodeOutput`.
`Backend` is **abstract by design**. Make this clearer in
`backendCodeOutput` which is incorrectly being used as a proxy for
`Backend`.
Instead, define the desired property predicates in GHC.Driver.Backend
In the process, make `backendCodeOutput` total.
-
74f1071d
by fendor at 2026-07-07T16:57:56-04:00
Add failing test for `-finfo-table-map` and bytecode backend
If you compile a module using the bytecode backend, with
-finfo-table-map, then the info table map doesn't get populated for the
module.
This is because the -finfo-table-map code path is implemented mostly in
the StgToCmm phase which isn't run when creating bytecode.
Ticket #27039
-
28d63bca
by mangoiv at 2026-07-07T16:59:16-04:00
ci: don't fail nightly if there have been no changes that night
Fixes #27127
-
4ebfc478
by Rodrigo Mesquita at 2026-07-08T04:47:53-04:00
ttg: Using ShortText over FastString in the AST
To make the AST independent of GHC, this commit replaces usages of
`FastString` with `HText` in the AST, killing the last edge from
Language.Haskell.* to GHC.* modules.
Even though we /do/ want to use FastStrings in general -- critically in
Names or Ids -- there is no particular reason for the FastStrings that
occur in the AST proper to be FastStrings. Strings in the AST are
typically unique and don't benefit particularly from being interned
FastStrings with Uniques for fast comparison.
`HText` is a type synonym for `ShortText` which uses GHC's Modified
UTF-8 encoding exclusively.
Modified UTF-8 must be used to represent the Haskell AST because the
Haskell Report allows surrogate code points. `Data.Text.Text` functions
use Standard UTF-8 which replace surrogates with a placeholder value,
thus `Data.Text.Text` is unsuitable for AST strings. See the
`Language.Haskell.Syntax.Text` module header for more details.
Final progress towards #21592
Closes #21628
-
d910b353
by Simon Peyton Jones at 2026-07-08T04:48:36-04:00
Update equality-type documenation in GHC.Builtin.Types.Prim
Fix #27466
-
b2530542
by Simon Peyton Jones at 2026-07-08T04:48:36-04:00
Honour -dsuppress-coercions in GHC.Core.TyCo.pprCo
Fixes #27467
-
9a73179a
by Facundo Domínguez at 2026-07-08T04:49:26-04:00
Add item to MR checklist asking to squash fixup commits after approval
The checklist has an item that reads
All commits are either individually buildable or squashed.
This item could be checked immediately after sending the merge request
though. If reviewers ask for amends later on, and the author amends
the merge request, there was no item that would remind the contributors
to squash the fixup commits before landing.
This commit adds a new item
After all approvals and before landing: all fixup commits are squashed with their originating commits.
which should be harder to mark as done before approvals have been given.
-
26c163eb
by Alan Zimmerman at 2026-07-08T18:38:58+01:00
EPA: Replace AnnListItem with simply [TrailingAnn]
Remove the unnecessary wrapper around a single field.
-
de3e6af9
by Alan Zimmerman at 2026-07-08T18:38:58+01:00
EPA: Keep binds and sigs together in HsValBindsLR
This allows us to get rid of AnnSortKey BindTag
-
b5105382
by Alan Zimmerman at 2026-07-08T18:38:58+01:00
Keep decls together in ClassDecl
-
6ce86393
by Alan Zimmerman at 2026-07-08T18:38:58+01:00
EPA: ClsInstDecl as list in GhcPs
-
06025f3c
by Alan Zimmerman at 2026-07-08T18:38:58+01:00
EPA: Remove LocatedP from OverlapMode
-
7eeb54cd
by Alan Zimmerman at 2026-07-08T19:29:44+01:00
EPA: Remove LocatedP from CType
-
9260b8c4
by Alan Zimmerman at 2026-07-08T19:36:22+01:00
EPA: Remove LocatedP, last use in WarningTxt
-
21d9fc9c
by Alan Zimmerman at 2026-07-08T19:36:22+01:00
EPA: Remove LocatedE from WarningCategory
-
99798042
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA: Remove LocateE from XCImport and XCExport
-
62b262fa
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA: Remove LocatedE from HsRecFields dot
-
edb77170
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA: Remove LocatedE completely, last usage for pats
-
cdeb6fd6
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA: Remove AnnList (EpToken "where") usages
This is moving toward removing the parameter from AnnList completely
-
2f1e603b
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA remove AnnList (EpToken "rec") usages
-
d8177e53
by Alan Zimmerman at 2026-07-08T19:40:06+01:00
EPA: Remove last parameterised AnnList usage (EpaLocation)
Also remove the parameter
-
62217cc8
by Alan Zimmerman at 2026-07-08T19:50:03+01:00
TTG: Add extension points to BooleanFormula
They are currently unused, but will be used for exact print annotations next
-
65a8a867
by Alan Zimmerman at 2026-07-08T19:50:03+01:00
EPA: Remove LocatedBC / SrcSpanBF