summaryrefslogtreecommitdiff
path: root/includes
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2019-12-26 19:47:04 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-01-25 05:21:40 -0500
commitc3fde723633d1788e4ded8c6f59eb7cef1ae95fd (patch)
tree60f6c00540541449b7aada6765048de49af9f371 /includes
parent86966d48954db4a8bd40046af259ed60aed535eb (diff)
downloadhaskell-c3fde723633d1788e4ded8c6f59eb7cef1ae95fd.tar.gz
Handle local fixity declarations in DsMeta properly
`DsMeta.rep_sig` used to skip over `FixSig` entirely, which had the effect of causing local fixity declarations to be dropped when quoted in Template Haskell. But there is no good reason for this state of affairs, as the code in `DsMeta.repFixD` (which handles top-level fixity declarations) handles local fixity declarations just fine. This patch factors out the necessary parts of `repFixD` so that they can be used in `rep_sig` as well. There was one minor complication: the fixity signatures for class methods in each `HsGroup` were stored both in `FixSig`s _and_ the list of `LFixitySig`s for top-level fixity signatures, so I needed to take action to prevent fixity signatures for class methods being converted to `Dec`s twice. I tweaked `RnSource.add` to avoid putting these fixity signatures in two places and added `Note [Top-level fixity signatures in an HsGroup]` in `GHC.Hs.Decls` to explain the new design. Fixes #17608. Bumps the Haddock submodule.
Diffstat (limited to 'includes')
0 files changed, 0 insertions, 0 deletions