@@ -64,7 +64,6 @@ module Text.Pandoc.Shared (
6464 Element (..),
6565 hierarchicalize,
6666 uniqueIdent,
67− extractIds,
6867 inlineListToIdentifier,
6968 isHeaderBlock,
7069 headerShift,
@@ -530,25 +529,6 @@ headerLtEq level (Header l _ _) = l <= level
530529headerLtEq level (Div ("",["references"],[]) (Header l _ _ : _)) = l <= level
531530headerLtEq _ _ = False
532531
533−-- | Extract the identifiers from a block element.
534−extractBlockIds :: Block -> Set.Set String
535−extractBlockIds (Header _ (ident,_,_) _) | not (null ident) =
536− Set.singleton ident
537−extractBlockIds (Div (ident,_,_) _) | not (null ident) =
538− Set.singleton ident
539−extractBlockIds _ = Set.empty
540−
541−-- | Extract the identifiers from an inline element.
542−extractInlineIds :: Inline -> Set.Set String
543−extractInlineIds (Span (ident,_,_) _) | not (null ident) =
544− Set.singleton ident
545−extractInlineIds _ = Set.empty
546−
547−-- | Extract the identifiers from a pandoc document.
548−extractIds :: Pandoc -> Set.Set String
549−extractIds doc =
550− query extractBlockIds doc `Set.union` query extractInlineIds doc
551−
552532-- | Generate a unique identifier from a list of inlines.
553533-- Second argument is a list of already used identifiers.
554534uniqueIdent :: [Inline] -> Set.Set String -> String