Skip to content

Consistently attach SrcSpans to sub-expressions in TH splices

Ryan Scott requested to merge wip/T21299 into master

Before, GHC.ThToHs was very inconsistent about where various sub-expressions would get the same SrcSpan from the original TH splice location or just a generic noLoc SrcSpan. I have ripped out all uses of noLoc in favor of the former instead, and I have added a Note [Source locations within TH splices] to officially enshrine this design choice.

Fixes #21299 (closed).

Merge request reports