Zubin pushed to branch wip/9.10.3-backports at Glasgow Haskell Compiler / GHC

Commits:

• 9a111592
  by Zubin Duggal at 2025-07-24T06:39:35+05:30

  Consider `PromotedDataCon` in `tyConStupidTheta`
  
  Haddock checks data declarations for the stupid theta so as not to
  pretty-print them as empty contexts. Type data declarations end up as
  `PromotedDataCon`s by the time Haddock performs this check, causing a
  panic. This commit extends `tyConStupidTheta` so that it returns an
  empty list for `PromotedDataCon`s. This decision was guided by the fact
  that type data declarations never have data type contexts (see (R1) in
  Note [Type data declarations]).
  
  Fixes #25739.
  
  (cherry picked from commit 8d33d048dbe159a045a4c304fa92318365a3dfe2)
  

• 277c7048
  by Ryan Hendrickson at 2025-07-24T06:46:24+05:30

  haddock: Preserve indentation in multiline examples
  
  Intended for use with :{ :}, but doesn't look for those characters. Any
  consecutive lines with birdtracks will only have initial whitespace
  stripped up to the column of the first line.
  
  (cherry picked from commit 2c73250494fd9f48ebda6d6fe72f0cd03182aff1)
  

• 11726850
  by Ryan Hendrickson at 2025-07-24T06:49:54+05:30

  haddock: Parse math even after ordinary characters
  
  Fixes a bug where math sections were not recognized if preceded by a
  character that isn't special (like space or a markup character).
  
  (cherry picked from commit b790d647c1ccdcc9aa8f166c3e0e42d0a5c29625)
  

• 529c45a4
  by Ryan Hendrickson at 2025-07-24T06:52:35+05:30

  haddock: Fix links to type operators
  
  (cherry picked from commit a0adc30d892f14f543f39d5c45faccacbc28afb4)
  

• cede8da7
  by Ryan Hendrickson at 2025-07-24T07:01:06+05:30

  haddock: Document instances from other packages
  
  When attaching instances to `Interface`s, it isn't enough just to look
  for instances in the list of `Interface`s being processed. We also need
  to look in the modules on which they depend, including those outside of
  this package.
  
  Fixes #25147.
  Fixes #26079.
  
  (cherry picked from commit a26243fde4680271712a3d774e17f6cd6da4a652)
  

• 56b572dd
  by Zubin Duggal at 2025-07-24T07:03:03+05:30

  haddock: Don't warn about missing link destinations for derived names.
  
  Fixes #26114
  
  (cherry picked from commit 5dabc718a04bfc4d277c5ff7f815ee3d6b9670cb)
  

• 00352d68
  by Zubin Duggal at 2025-07-24T07:12:55+05:30

  Bump haddock version to 2.31.3
  

2 changed files:

• compiler/GHC/Core/TyCon.hs
• utils/haddock

Changes:

 tyConStupidTheta tc@(TyCon { tyConDetails = details })

   | AlgTyCon {algTcStupidTheta = stupid} <- details = stupid

   | PrimTyCon {} <- details                         = []

+  | PromotedDataCon {} <- details                   = []

   | otherwise = pprPanic "tyConStupidTheta" (ppr tc)

 -- | Extract the 'TyVar's bound by a vanilla type synonym

-Subproject commit f6116257ff838bb0b9def2c49d2f629756527ad2

+Subproject commit 050fe4bbb455fb6b79e02afc7567f3a246fea5ea