Alan Zimmerman pushed to branch wip/az/exactprint-annotation-rationalisation at Glasgow Haskell Compiler / GHC Commits: 76eaab2b by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: ClsInstDecl as list in GhcPs - - - - - 4902d4d8 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedP from OverlapMode - - - - - 1c2136a2 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedP from CType - - - - - 02fa4694 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedP, last use in WarningTxt - - - - - 47e2bd6e by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedE from WarningCategory - - - - - e51cda17 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocateE from XCImport and XCExport - - - - - f1573020 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedE from HsRecFields dot - - - - - e0fd0448 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedE completely, last usage for pats - - - - - bd898429 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove AnnList (EpToken "where") usages This is moving toward removing the parameter from AnnList completely - - - - - d2191400 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA remove AnnList (EpToken "rec") usages - - - - - 2d925fec by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove last parameterised AnnList usage (EpaLocation) Also remove the parameter - - - - - ff7c00da by Alan Zimmerman at 2026-07-21T20:45:24+01:00 TTG: Add extension points to BooleanFormula They are currently unused, but will be used for exact print annotations next - - - - - 78f9383d by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Remove LocatedBC / SrcSpanBF - - - - - f572ffe7 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: remove unused addTrailingAnnToL. Squash appropriately - - - - - a534d96b by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPS: Remove NoEpTok/NoEpUniTok, using an unhelpful SrcSpan instead Also introduce helper functions noEpTok and noEpUniTok to serve as simple replacements in code inserting an token annotation without location information. - - - - - 340eba04 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Some haddock processing tweaks - - - - - 7f4ddb2c by Alan Zimmerman at 2026-07-21T20:45:24+01:00 Some haddock exactprint tests - - - - - 34062b4b by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: When adding comments honour trailing anns - - - - - 377a4c01 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Uses Parsers.parseModule for exactprint tests This is the advertised way to parse for use for exact printing in the ghc-exactprint library, make sure we test using it. - - - - - 4b3225af by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA Fix HsCmdDo exact print with comments TODO: add test based on proc-do-complex-four-out.hs - - - - - 027448d3 by Alan Zimmerman at 2026-07-21T20:45:24+01:00 WIP on removing NoEpAnn. Likely abandon - - - - - 6a0c2b0e by Alan Zimmerman at 2026-07-21T20:45:24+01:00 EPA: Add an overview doc for exact printing - - - - - 78995316 by Simon Peyton Jones at 2026-07-21T20:45:24+01:00 Added an intro section - - - - - 79 changed files: - + ExactPrint.md - compiler/GHC/Builtin/Utils.hs - compiler/GHC/Core/Class.hs - compiler/GHC/CoreToIface.hs - compiler/GHC/Data/BooleanFormula.hs - compiler/GHC/Hs.hs - compiler/GHC/Hs/Binds.hs - compiler/GHC/Hs/Decls.hs - compiler/GHC/Hs/Decls/Overlap.hs - compiler/GHC/Hs/Dump.hs - compiler/GHC/Hs/Expr.hs - compiler/GHC/Hs/Instances.hs - compiler/GHC/Hs/Pat.hs - compiler/GHC/Hs/Stats.hs - compiler/GHC/Hs/Utils.hs - compiler/GHC/HsToCore/Docs.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/Iface/Ext/Ast.hs - compiler/GHC/Iface/Syntax.hs - compiler/GHC/Iface/Warnings.hs - compiler/GHC/IfaceToCore.hs - compiler/GHC/Parser.y - compiler/GHC/Parser/Annotation.hs - compiler/GHC/Parser/PostProcess.hs - compiler/GHC/Parser/PostProcess/Haddock.hs - compiler/GHC/Rename/Module.hs - compiler/GHC/Rename/Names.hs - compiler/GHC/Rename/Pat.hs - compiler/GHC/Tc/Deriv.hs - compiler/GHC/Tc/TyCl/Class.hs - compiler/GHC/Tc/TyCl/Instance.hs - compiler/GHC/Tc/Types/Origin.hs - compiler/GHC/Tc/Utils/Env.hs - compiler/GHC/Tc/Utils/Instantiate.hs - compiler/GHC/ThToHs.hs - compiler/GHC/Types/ForeignCall.hs - compiler/GHC/Unit/Module/Warnings.hs - compiler/Language/Haskell/Syntax/BooleanFormula.hs - compiler/Language/Haskell/Syntax/Decls.hs - compiler/Language/Haskell/Syntax/Expr.hs - compiler/Language/Haskell/Syntax/Extension.hs - testsuite/tests/ghc-api/T25121_status.stdout - testsuite/tests/ghc-api/exactprint/T22919.stderr - testsuite/tests/ghc-api/exactprint/Test20239.stderr - testsuite/tests/ghc-api/exactprint/ZeroWidthSemi.stderr - testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr - testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr - testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr - testsuite/tests/module/mod185.stderr - testsuite/tests/parser/should_compile/DumpParsedAst.stderr - testsuite/tests/parser/should_compile/DumpParsedAstComments.stderr - testsuite/tests/parser/should_compile/DumpRenamedAst.stderr - testsuite/tests/parser/should_compile/DumpSemis.stderr - testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr - testsuite/tests/parser/should_compile/KindSigs.stderr - testsuite/tests/parser/should_compile/T14189.stderr - testsuite/tests/parser/should_compile/T15279.stderr - testsuite/tests/parser/should_compile/T15323.stderr - testsuite/tests/parser/should_compile/T20452.stderr - testsuite/tests/parser/should_compile/T20718.stderr - testsuite/tests/parser/should_compile/T20718b.stderr - testsuite/tests/parser/should_compile/T20846.stderr - testsuite/tests/parser/should_compile/T23315/T23315.stderr - testsuite/tests/printer/AnnotationNoListTuplePuns.stdout - + testsuite/tests/printer/Haddock1.hs - testsuite/tests/printer/Makefile - testsuite/tests/printer/T18791.stderr - testsuite/tests/printer/Test20297.stdout - testsuite/tests/printer/Test24533.stdout - testsuite/tests/printer/all.T - utils/check-exact/ExactPrint.hs - utils/check-exact/Main.hs - utils/check-exact/Parsers.hs - utils/check-exact/Transform.hs - utils/check-exact/Utils.hs - utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs - utils/haddock/haddock-api/src/Haddock/Interface/Create.hs - utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs - utils/haddock/haddock-api/src/Haddock/Types.hs The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/cd5e0673aecddc426e9012482062add... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/cd5e0673aecddc426e9012482062add... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help