@@ -863,6 +863,7 @@ data ParserState = ParserState
863 -- roles), 3) Source language annotation for code (could be used to
863 -- roles), 3) Source language annotation for code (could be used to
864 -- annotate role classes too).
864 -- annotate role classes too).
865 stateCaption :: Maybe Inlines, -- ^ Caption in current environment
865 stateCaption :: Maybe Inlines, -- ^ Caption in current environment
866+ stateInHtmlBlock :: Maybe String, -- ^ Tag type of HTML block being parsed
866 stateWarnings :: [String] -- ^ Warnings generated by the parser
867 stateWarnings :: [String] -- ^ Warnings generated by the parser
@@ -941,6 +942,7 @@ defaultParserState =
941 stateRstDefaultRole = "title-reference",
942 stateRstDefaultRole = "title-reference",
942 stateRstCustomRoles = M.empty,
943 stateRstCustomRoles = M.empty,
943 stateCaption = Nothing,
944 stateCaption = Nothing,
945+ stateInHtmlBlock = Nothing,
944 stateWarnings = []}
946 stateWarnings = []}
946-- | Succeed only if the extension is enabled.
948-- | Succeed only if the extension is enabled.