[Git][ghc/ghc][wip/az/locateda-epa-improve-2023-07-15] 14 commits: EPA: generalise reLoc

[Alan Zimmerman (@alanz)]

Alan Zimmerman pushed to branch wip/az/locateda-epa-improve-2023-07-15 at Glasgow Haskell Compiler / GHC


Commits:
2684b368 by Alan Zimmerman at 2023-07-29T15:26:50+01:00
EPA: generalise reLoc

- - - - -
75dd0ee3 by Alan Zimmerman at 2023-07-29T19:24:32+01:00
EPA: get rid of l2l and friends

- - - - -
aa6b2c3f by Alan Zimmerman at 2023-07-29T23:40:02+01:00
EPA: get rid of l2l and friends

- - - - -
52f43884 by Alan Zimmerman at 2023-07-30T00:06:31+01:00
EPA: harmonise acsa and acsA

- - - - -
bc6f96bc by Alan Zimmerman at 2023-07-30T14:49:43+01:00
EPA: Replace Anchor with EpaLocation

- - - - -
8aab018c by Alan Zimmerman at 2023-07-30T18:11:13+01:00
EPA: get rid of AnchorOperation

- - - - -
bc197378 by Alan Zimmerman at 2023-07-30T21:29:53+01:00
EPA: Use SrcSpan in EpaSpan

- - - - -
43124fd3 by Alan Zimmerman at 2023-07-30T23:01:01+01:00
Put BufSpan into RealSrcSpan

This has been superseded by !9473, which moved BufSpan into EpaSpan in
EpaLocation

Start on making LocatedN more direct

Using EpaLocation instead of Anchor

Via a synonym initially, to prove the concept

Variants of AnnSortKey

For future, just a list of which type comes next.
Example for ValBinds

EPA: Explicitly capture EOF Location in AnnsModule

And also get rid of EpaEofComment.

- - - - -
dae593aa by Alan Zimmerman at 2023-07-30T23:01:05+01:00
[EPA] Simplify noAnnSrcSpanDP0

- - - - -
7ef73a73 by Alan Zimmerman at 2023-07-30T23:01:05+01:00
Clean up addTrailingCommaN

Remove unused parameter

- - - - -
2e3ea7c7 by Alan Zimmerman at 2023-07-30T23:01:05+01:00
EPA: Move TrailingAnns to the top of FieldOcc

- - - - -
00d91bd8 by Alan Zimmerman at 2023-07-30T23:01:05+01:00
EPA: Improve annotation management in getMonoBind

Ensure the LHsDecl for a FunBind has the correct leading comments and
trailing annotations.

See the added note for details.

- - - - -
f5b71afe by Alan Zimmerman at 2023-07-30T23:01:05+01:00
EPA: Add '=>' to TrailingAnn

This is used as a trailing annotation in a context.
Add its normal and unicode variants.

Note that we keep the parsed representation the same, but make use of
it when exact printing.

- - - - -
b8a6a58f by Alan Zimmerman at 2023-07-30T23:46:04+01:00
EPA: Improve WrapXRec instance

- - - - -


30 changed files:

- compiler/GHC/Data/BooleanFormula.hs
- compiler/GHC/Hs/Decls.hs
- compiler/GHC/Hs/Dump.hs
- compiler/GHC/Hs/Expr.hs
- compiler/GHC/Hs/Extension.hs
- compiler/GHC/Hs/Type.hs
- compiler/GHC/Hs/Utils.hs
- compiler/GHC/HsToCore/Docs.hs
- compiler/GHC/HsToCore/Monad.hs
- compiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Iface/Ext/Utils.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/Annotation.hs
- compiler/GHC/Parser/Lexer.x
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Parser/PostProcess/Haddock.hs
- compiler/GHC/Parser/Types.hs
- compiler/GHC/Rename/Bind.hs
- compiler/GHC/Rename/Env.hs
- compiler/GHC/Rename/Expr.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Rename/Names.hs
- compiler/GHC/Rename/Pat.hs
- compiler/GHC/Rename/Splice.hs
- compiler/GHC/Rename/Utils.hs
- compiler/GHC/Runtime/Eval.hs
- compiler/GHC/Tc/Deriv.hs
- compiler/GHC/Tc/Deriv/Generate.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/48efc1e15860537371042b5d0a4994303f2f08da...b8a6a58fbb4138eec6d34ee0af930500ea7090f5

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/48efc1e15860537371042b5d0a4994303f2f08da...b8a6a58fbb4138eec6d34ee0af930500ea7090f5
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230730/0182865e/attachment.html>