diff options
| author | Alexander <ilabdsf@gmail.com> | 2019-01-01 08:41:21 +0300 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-12-31 21:41:21 -0800 |
| commit | 792f18a7fa64773f7d8466740f8da5e434c2da4f (patch) | |
| tree | b732d46ac8023872e42a0b94e4c05d7e44812c2d /src/Text/Pandoc/Readers/HTML.hs | |
| parent | ffc2192caffd101666dd6c793631798d7f22878f (diff) | |
Remove unused HasHeaderMap (#5175)
It is updated by some readers, but never actually used.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
| -rw-r--r-- | src/Text/Pandoc/Readers/HTML.hs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs index b27840eb5..8d3c1abb4 100644 --- a/src/Text/Pandoc/Readers/HTML.hs +++ b/src/Text/Pandoc/Readers/HTML.hs @@ -105,7 +105,7 @@ readHtml opts inp = do result <- flip runReaderT def $ runParserT parseDoc (HTMLState def{ stateOptions = opts } - [] Nothing Set.empty M.empty [] M.empty) + [] Nothing Set.empty [] M.empty) "source" tags case result of Right doc -> return doc @@ -126,7 +126,6 @@ data HTMLState = noteTable :: [(String, Blocks)], baseHref :: Maybe URI, identifiers :: Set.Set String, - headerMap :: M.Map Inlines String, logMessages :: [LogMessage], macros :: M.Map Text Macro } @@ -1295,10 +1294,6 @@ instance HasIdentifierList HTMLState where extractIdentifierList = identifiers updateIdentifierList f s = s{ identifiers = f (identifiers s) } -instance HasHeaderMap HTMLState where - extractHeaderMap = headerMap - updateHeaderMap f s = s{ headerMap = f (headerMap s) } - instance HasLogMessages HTMLState where addLogMessage m s = s{ logMessages = m : logMessages s } getLogMessages = reverse . logMessages |