Revert "T.P.Parsing: export `registerIdentifier`."

This reverts commit 20492d523c8324e36781cfbbc8092c796f94b151.

3 files changed, 25 insertions, 31 deletions

diff --git a/src/Text/Pandoc/Parsing.hs b/src/Text/Pandoc/Parsing.hs
index 85918ff11..501e8c74b 100644
--- a/src/Text/Pandoc/Parsing.hs
+++ b/src/Text/Pandoc/Parsing.hs
@@ -96,7 +96,6 @@ module Text.Pandoc.Parsing ( module Text.Pandoc.Sources,
                              Key (..),
                              toKey,
                              registerHeader,
-                             registerIdentifier,
                              smartPunctuation,
                              singleQuoteStart,
                              singleQuoteEnd,
@@ -289,7 +288,6 @@ import Text.Pandoc.Parsing.General
       parseFromString',
       readWith,
       registerHeader,
-      registerIdentifier,
       sepBy1',
       skipSpaces,
       spaceChar,
diff --git a/src/Text/Pandoc/Parsing/General.hs b/src/Text/Pandoc/Parsing/General.hs
index ae892addb..e425c7408 100644
--- a/src/Text/Pandoc/Parsing/General.hs
+++ b/src/Text/Pandoc/Parsing/General.hs
@@ -47,7 +47,6 @@ module Text.Pandoc.Parsing.General
   , readWith
   , readWithM
   , registerHeader
-  , registerIdentifier
   , sepBy1'
   , skipSpaces
   , spaceChar
@@ -671,8 +670,8 @@ registerHeader (ident,classes,kvs) header' = do
        let id'' = if Ext_ascii_identifiers `extensionEnabled` exts
                      then toAsciiText id'
                      else id'
-       registerIdentifier id'
-       when (id'' /= id') $ registerIdentifier id''
+       updateState $ updateIdentifierList $ Set.insert id'
+       updateState $ updateIdentifierList $ Set.insert id''
        return (id'',classes,kvs)
      else do
         unless (T.null ident) $ do
@@ -682,16 +681,6 @@ registerHeader (ident,classes,kvs) header' = do
           updateState $ updateIdentifierList $ Set.insert ident
         return (ident,classes,kvs)
 
--- | Update list of identifiers in state to prevent auto_identifiers
--- from duplicating existing identifiers.
-registerIdentifier :: (Stream s m a, HasIdentifierList st)
-                   => Text -> ParsecT s st m ()
-registerIdentifier ident
-  | T.null ident = return ()
-  | otherwise = unless (T.null ident) $
-                  updateState $ updateIdentifierList $ Set.insert ident
-
-
 -- This is used to prevent exponential blowups for things like:
 -- a**a*a**a*a**a*a**a*a**a*a**a*a**
 nested :: Stream s m a
diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs
index d56d846bb..f44859ef8 100644
--- a/src/Text/Pandoc/Readers/HTML.hs
+++ b/src/Text/Pandoc/Readers/HTML.hs
@@ -292,8 +292,8 @@ eFootnotes = try $ do
      -- but there might be content other than notes, in which case
      -- we want a div:
      else do
-       let attr''@(ident,_,_) = toAttr attr'
-       registerIdentifier ident
+       let attr'' =toAttr attr'
+       updateIdentifiers attr''
        return $ B.divWith attr'' result
 
 eNoteref :: PandocMonad m => TagParser m Inlines
@@ -459,7 +459,7 @@ pDiv = try $ do
   guardEnabled Ext_native_divs
   TagOpen tag attr' <- lookAhead $ pSatisfy $ tagOpen isDivLike (const True)
   let (ident, classes, kvs) = toAttr attr'
-  registerIdentifier ident
+  updateIdentifiers (ident, classes, kvs)
   contents <- pInTags tag block
   let classes' = if tag == "section"
                     then "section":classes
@@ -608,7 +608,7 @@ pCodeBlock = try $ do
   TagOpen _ attr' <- pSatisfy (matchTagOpen "pre" [])
   -- if the `pre` has no attributes, try if it is followed by a `code`
   -- element and use those attributes if possible.
-  attr@(ident,_,_) <- case attr' of
+  attr <- case attr' of
     _:_ -> pure (toAttr attr')
     []  -> option nullAttr $ do
       TagOpen _ codeAttr <- pSatisfy (matchTagOpen "code" [])
@@ -618,7 +618,7 @@ pCodeBlock = try $ do
                   , let v' = if k == "class"
                              then fromMaybe v (T.stripPrefix "language-" v)
                              else v ]
-  registerIdentifier ident
+  updateIdentifiers attr
   contents <- manyTill pAny (pCloses "pre" <|> eof)
   let rawText = T.concat $ map tagToText contents
   -- drop leading newline if any
@@ -731,7 +731,7 @@ pSpanLike =
     parseTag tagName = do
       TagOpen _ attrs <- pSatisfy $ tagOpenLit tagName (const True)
       let (ids, cs, kvs) = toAttr attrs
-      registerIdentifier ids
+      updateIdentifiers (ids, cs, kvs)
       content <- mconcat <$> manyTill inline (pCloses tagName <|> eof)
       return $ B.spanWith (ids, tagName : cs, kvs) content
 
@@ -759,13 +759,13 @@ pLink :: PandocMonad m => TagParser m Inlines
 pLink = try $ do
   tag@(TagOpen _ attr') <- pSatisfy $ tagOpenLit "a" (const True)
   let title = fromAttrib "title" tag
-  let attr@(ident,_,_) = toAttr $ filter (\(k,_) -> k /= "title" && k /= "href") attr'
+  let attr = toAttr $ filter (\(k,_) -> k /= "title" && k /= "href") attr'
   lab <- mconcat <$> manyTill inline (pCloses "a")
   st <- getState
   if inFootnotes st && maybeFromAttrib "role" tag == Just "doc-backlink"
      then return mempty
      else do
-       registerIdentifier ident
+       updateIdentifiers attr
        -- check for href; if href, then a link, otherwise a span
        case maybeFromAttrib "href" tag of
             Nothing   ->
@@ -781,9 +781,8 @@ pImage = do
   url <- canonicalizeUrl $ fromAttrib "src" tag
   let title = fromAttrib "title" tag
   let alt = fromAttrib "alt" tag
-  let attr@(ident,_,_) =
-        toAttr $ filter (\(k,_) -> k /= "alt" && k /= "title" && k /= "src") attr'
-  registerIdentifier ident
+  let attr = toAttr $ filter (\(k,_) -> k /= "alt" && k /= "title" && k /= "src") attr'
+  updateIdentifiers attr
   return $ B.imageWith attr (escapeURI url) title (B.text alt)
 
 pSvg :: PandocMonad m => TagParser m Inlines
@@ -792,7 +791,7 @@ pSvg = do
   -- if raw_html enabled, parse svg tag as raw
   opent@(TagOpen _ attr') <- pSatisfy (matchTagOpen "svg" [])
   let (ident,cls,_) = toAttr attr'
-  registerIdentifier ident
+  updateIdentifiers (ident,cls,[])
   contents <- many (notFollowedBy (pCloses "svg") >> pAny)
   closet <- TagClose "svg" <$ (pCloses "svg" <|> eof)
   let rawText = T.strip $ renderTags' (opent : contents ++ [closet])
@@ -813,9 +812,9 @@ pCode = try $ do
   code open attr
 
 code :: PandocMonad m => Text -> Attr -> TagParser m Inlines
-code open attr@(ident,_,_) = do
+code open attr = do
   result <- mconcat <$> manyTill inline (pCloses open)
-  registerIdentifier ident
+  updateIdentifiers attr
   return $ formatCode attr result
 
 -- https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdo
@@ -834,8 +833,8 @@ pSpan :: PandocMonad m => TagParser m Inlines
 pSpan = try $ do
   guardEnabled Ext_native_spans
   TagOpen _ attr' <- lookAhead $ pSatisfy $ tagOpen (=="span") (const True)
-  let attr@(ident,_,_) = toAttr attr'
-  registerIdentifier ident
+  let attr = toAttr attr'
+  updateIdentifiers attr
   contents <- pInTags "span" inline
   let isSmallCaps = fontVariant == "small-caps" || "smallcaps" `elem` classes
                     where styleAttr   = fromMaybe "" $ lookup "style" attr'
@@ -1165,3 +1164,11 @@ canonicalizeUrl url = do
   return $ case (parseURIReference (T.unpack url), mbBaseHref) of
                 (Just rel, Just bs) -> tshow (rel `nonStrictRelativeTo` bs)
                 _                   -> url
+
+-- | Update list of identifiers in state to prevent auto_identifiers
+-- from duplicating existing identifiers.
+updateIdentifiers :: PandocMonad m => Attr -> TagParser m ()
+updateIdentifiers (ident,_,_)
+  | T.null ident = return ()
+  | otherwise = unless (T.null ident) $
+                  updateState $ updateIdentifierList $ Set.insert ident