Parsing: Added stateInHtmlBlock to ParserState.

This is used to keep track of the ending tag we're waiting
for when we're parsing inside HTML block tags.
This commit is contained in:
John MacFarlane
2014-07-07 15:53:59 -06:00
parent 8c7abf173a
commit 3d4e76f342
+2
View File
@@ -863,6 +863,7 @@ data ParserState = ParserState
-- roles), 3) Source language annotation for code (could be used to
-- annotate role classes too).
stateCaption :: Maybe Inlines, -- ^ Caption in current environment
stateInHtmlBlock :: Maybe String, -- ^ Tag type of HTML block being parsed
stateWarnings :: [String] -- ^ Warnings generated by the parser
}
@@ -941,6 +942,7 @@ defaultParserState =
stateRstDefaultRole = "title-reference",
stateRstCustomRoles = M.empty,
stateCaption = Nothing,
stateInHtmlBlock = Nothing,
stateWarnings = []}
-- | Succeed only if the extension is enabled.