Mediawiki reader: interpret HTML in verbatim contexts as text.

Thanks to Jeff Runningen for reporting that mediawiki works
this way.
This commit is contained in:
John MacFarlane 2013-01-06 19:35:40 -08:00
parent 4d1c82de9e
commit 300f8528da
2 changed files with 2 additions and 3 deletions

View file

@ -139,8 +139,7 @@ charsInTags tag = try $ do
(_,raw) <- htmlTag (~== TagOpen tag [])
if '/' `elem` raw -- self-closing tag
then return ""
else innerText . parseTags <$>
manyTill anyChar (htmlTag (~== TagClose tag))
else manyTill anyChar (htmlTag (~== TagClose tag))
--
-- main parser

View file

@ -105,7 +105,7 @@ H<sub>2</sub>O base<sup>''exponent''</sup>
== inline code ==
<code>*&rarr;*</code> <tt>typed</tt> <hask>&gt;&gt;=</hask>
<code>*→*</code> <tt>typed</tt> <hask>>>=</hask>
== code blocks ==