LaTeX reader: Ignore empty groups {}, { }.

Closes #322.
This commit is contained in:
John MacFarlane 2011-11-12 13:03:11 -08:00
parent 8ed33f6662
commit da57775171

View file

@ -574,6 +574,7 @@ inline = choice [ str
, ensureMath
, rawLaTeXInline'
, escapedChar
, emptyGroup
, unescapedChar
, comment
] <?> "inline"
@ -677,6 +678,13 @@ escapedChar = do
result <- escaped (oneOf specialChars)
return $ if result == Str "\n" then Str " " else result
emptyGroup :: GenParser Char st Inline
emptyGroup = try $ do
char '{'
spaces
char '}'
return $ Str ""
-- nonescaped special characters
unescapedChar :: GenParser Char st Inline
unescapedChar = oneOf "`$^&_#{}[]|<>" >>= return . (\c -> Str [c])