Alan Zimmerman pushed to branch wip/az/ttg-hscondetails at Glasgow Haskell Compiler / GHC

Commits:

• 9052faa9
  by Alan Zimmerman at 2026-06-17T18:17:46+01:00

  TTG: Add extension points to HsConDetails
  
  Extend HsConDetails as
  
      data HsConDetails p arg rec
        = PrefixCon !(XPrefixCon p) [arg]    -- C @t1 @t2 p1 p2 p3
        | RecCon    !(XRecCon p)    rec      -- C { x = p1, y = p2 }
        | InfixCon  !(XInfixCon p)  arg arg  -- p1 `C` p2
        | XHsConDetails !(XXHsConDetails p)
  
      type family XPrefixCon      p
      type family XRecCon         p
      type family XInfixCon       p
      type family XXHsConDetails  p
  

49 changed files:

• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Type.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Match.hs
• compiler/GHC/HsToCore/Match/Constructor.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Tc/Deriv/Generate.hs
• compiler/GHC/Tc/Gen/Pat.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/PatSyn.hs
• compiler/GHC/Tc/TyCl/Utils.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/ThToHs.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Pat.hs
• compiler/Language/Haskell/Syntax/Type.hs
• testsuite/tests/ghc-api/exactprint/Test20239.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/T14189.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/printer/Test24533.stdout
• utils/check-exact/ExactPrint.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Hoogle.hs
• utils/haddock/haddock-api/src/Haddock/Backends/LaTeX.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
• utils/haddock/haddock-api/src/Haddock/Convert.hs
• utils/haddock/haddock-api/src/Haddock/GhcUtils.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Create.hs
• utils/haddock/haddock-api/src/Haddock/Interface/LexParseRn.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.