summaryrefslogtreecommitdiff
path: root/utils/check-exact
diff options
context:
space:
mode:
authorAlan Zimmerman <alan.zimm@gmail.com>2021-03-25 21:46:56 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-03-31 11:13:28 -0400
commit49bc1e9ec854e571dfa78ac43565073586579f31 (patch)
tree4cf1ea1b7f53581ae57a493ba757cf1130585a03 /utils/check-exact
parentd03005e642710d0f1f78757292e0fe65287e5f0a (diff)
downloadhaskell-49bc1e9ec854e571dfa78ac43565073586579f31.tar.gz
EPA : rename AnnAnchor to EpaAnchor
Follow-up from !2418, see #19579
Diffstat (limited to 'utils/check-exact')
-rw-r--r--utils/check-exact/ExactPrint.hs16
-rw-r--r--utils/check-exact/Transform.hs18
-rw-r--r--utils/check-exact/Utils.hs2
3 files changed, 18 insertions, 18 deletions
diff --git a/utils/check-exact/ExactPrint.hs b/utils/check-exact/ExactPrint.hs
index e1fcc88219..30f71bdbc8 100644
--- a/utils/check-exact/ExactPrint.hs
+++ b/utils/check-exact/ExactPrint.hs
@@ -439,12 +439,12 @@ printStringAtSs ss str = printStringAtKw' (realSrcSpan ss) str
-- ---------------------------------------------------------------------
-- AZ:TODO get rid of this
-printStringAtMkw :: Maybe AnnAnchor -> String -> EPP ()
+printStringAtMkw :: Maybe EpaAnchor -> String -> EPP ()
printStringAtMkw (Just aa) s = printStringAtAA aa s
printStringAtMkw Nothing s = printStringAtLsDelta (DP 0 1) s
-printStringAtAA :: AnnAnchor -> String -> EPP ()
+printStringAtAA :: EpaAnchor -> String -> EPP ()
printStringAtAA (AR r) s = printStringAtKw' r s
printStringAtAA (AD d) s = do
pe <- getPriorEndD
@@ -525,7 +525,7 @@ markAnnOpen :: EpAnn -> SourceText -> String -> EPP ()
markAnnOpen an NoSourceText txt = markLocatedAALS an id AnnOpen (Just txt)
markAnnOpen an (SourceText txt) _ = markLocatedAALS an id AnnOpen (Just txt)
-markAnnOpen' :: Maybe AnnAnchor -> SourceText -> String -> EPP ()
+markAnnOpen' :: Maybe EpaAnchor -> SourceText -> String -> EPP ()
markAnnOpen' ms NoSourceText txt = printStringAtMkw ms txt
markAnnOpen' ms (SourceText txt) _ = printStringAtMkw ms txt
@@ -544,15 +544,15 @@ markParen (EpAnn _ (AnnParen pt o c) _) f = markKwA (f $ kw pt) (f (o, c))
kw AnnParensSquare = (AnnOpenS, AnnCloseS)
-markAnnKw :: EpAnn' a -> (a -> AnnAnchor) -> AnnKeywordId -> EPP ()
+markAnnKw :: EpAnn' a -> (a -> EpaAnchor) -> AnnKeywordId -> EPP ()
markAnnKw EpAnnNotUsed _ _ = return ()
markAnnKw (EpAnn _ a _) f kw = markKwA kw (f a)
-markAnnKwAll :: EpAnn' a -> (a -> [AnnAnchor]) -> AnnKeywordId -> EPP ()
+markAnnKwAll :: EpAnn' a -> (a -> [EpaAnchor]) -> AnnKeywordId -> EPP ()
markAnnKwAll EpAnnNotUsed _ _ = return ()
markAnnKwAll (EpAnn _ a _) f kw = mapM_ (markKwA kw) (sort (f a))
-markAnnKwM :: EpAnn' a -> (a -> Maybe AnnAnchor) -> AnnKeywordId -> EPP ()
+markAnnKwM :: EpAnn' a -> (a -> Maybe EpaAnchor) -> AnnKeywordId -> EPP ()
markAnnKwM EpAnnNotUsed _ _ = return ()
markAnnKwM (EpAnn _ a _) f kw = go (f a)
where
@@ -598,7 +598,7 @@ markKw :: AddEpAnn -> EPP ()
markKw (AddEpAnn kw ss) = markKwA kw ss
-- | This should be the main driver of the process, managing comments
-markKwA :: AnnKeywordId -> AnnAnchor -> EPP ()
+markKwA :: AnnKeywordId -> EpaAnchor -> EPP ()
markKwA kw aa = printStringAtAA aa (keywordToString (G kw))
-- ---------------------------------------------------------------------
@@ -3184,7 +3184,7 @@ instance ExactPrint (LocatedN RdrName) where
markTrailing t
markName :: NameAdornment
- -> AnnAnchor -> Maybe (AnnAnchor,RdrName) -> AnnAnchor -> EPP ()
+ -> EpaAnchor -> Maybe (EpaAnchor,RdrName) -> EpaAnchor -> EPP ()
markName adorn open mname close = do
let (kwo,kwc) = adornments adorn
markKw (AddEpAnn kwo open)
diff --git a/utils/check-exact/Transform.hs b/utils/check-exact/Transform.hs
index 60a059cb3c..210f873a20 100644
--- a/utils/check-exact/Transform.hs
+++ b/utils/check-exact/Transform.hs
@@ -502,13 +502,13 @@ setEntryDP _ast _dp anns = anns
-- ---------------------------------------------------------------------
-addAnnAnchorDelta :: LayoutStartCol -> RealSrcSpan -> AnnAnchor -> AnnAnchor
-addAnnAnchorDelta _off _anc (AD d) = AD d
-addAnnAnchorDelta off anc (AR r)
+addEpaAnchorDelta :: LayoutStartCol -> RealSrcSpan -> EpaAnchor -> EpaAnchor
+addEpaAnchorDelta _off _anc (AD d) = AD d
+addEpaAnchorDelta off anc (AR r)
= AD (adjustDeltaForOffset 0 off (ss2deltaEnd anc r))
-- Set the entry DP for an element coming after an existing keyword annotation
-setEntryDPFromAnchor :: LayoutStartCol -> AnnAnchor -> LocatedA t -> LocatedA t
+setEntryDPFromAnchor :: LayoutStartCol -> EpaAnchor -> LocatedA t -> LocatedA t
setEntryDPFromAnchor _off (AD _) (L la a) = L la a
setEntryDPFromAnchor off (AR anc) ll@(L la _) = setEntryDP' ll dp'
where
@@ -957,13 +957,13 @@ noAnnSrcSpanDP1 l = noAnnSrcSpanDP l (DP 0 1)
noAnnSrcSpanDPn :: (Monoid ann) => SrcSpan -> Int -> SrcSpanAnn' (EpAnn' ann)
noAnnSrcSpanDPn l s = noAnnSrcSpanDP l (DP 0 s)
-d0 :: AnnAnchor
+d0 :: EpaAnchor
d0 = AD $ DP 0 0
-d1 :: AnnAnchor
+d1 :: EpaAnchor
d1 = AD $ DP 0 1
-dn :: Int -> AnnAnchor
+dn :: Int -> EpaAnchor
dn n = AD $ DP 0 n
m0 :: AnchorOperation
@@ -1131,7 +1131,7 @@ instance HasDecls (LocatedA (HsExpr GhcPs)) where
newDecls'' = case newDecls of
[] -> newDecls
(d:ds) -> setEntryDPDecl d (DP 0 0) : ds
- in ( EpAnn a (AnnsLet l (addAnnAnchorDelta off lastAnc i)) cs
+ in ( EpAnn a (AnnsLet l (addEpaAnchorDelta off lastAnc i)) cs
, ex''
, newDecls'')
binds' <- replaceDeclsValbinds WithoutWhere binds newDecls'
@@ -1414,7 +1414,7 @@ oldWhereAnnotation EpAnnNotUsed ww _oldSpan = do
noCom
return an
oldWhereAnnotation (EpAnn anc an cs) ww _oldSpan = do
- -- TODO: when we set DP (0,0) for the HsValBinds EpAnnAnchor, change the AnnList anchor to have the correct DP too
+ -- TODO: when we set DP (0,0) for the HsValBinds EpEpaAnchor, change the AnnList anchor to have the correct DP too
let (AnnList ancl o c _r t) = an
let w = case ww of
WithWhere -> [AddEpAnn AnnWhere (AD (DP 0 0))]
diff --git a/utils/check-exact/Utils.hs b/utils/check-exact/Utils.hs
index f309c103a3..57dab9d95c 100644
--- a/utils/check-exact/Utils.hs
+++ b/utils/check-exact/Utils.hs
@@ -283,7 +283,7 @@ normaliseCommentText ('\r':xs) = normaliseCommentText xs
normaliseCommentText (x:xs) = x:normaliseCommentText xs
-- | Makes a comment which originates from a specific keyword.
-mkKWComment :: AnnKeywordId -> AnnAnchor -> Comment
+mkKWComment :: AnnKeywordId -> EpaAnchor -> Comment
mkKWComment kw (AR ss)
= Comment (keywordToString $ G kw) (Anchor ss UnchangedAnchor) (Just kw)
mkKWComment kw (AD dp)