Small improvements to indentSpaces. (Allow combinations
of spaces and tabs.)
git-svn-id: https://pandoc.googlecode.com/svn/trunk@446 788f1e2b-df1e-0410-8736-df70ead52e1b
commit15ea29b223a1a3042ecaae38a1eee9815648684a
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateSun 7 Jan 2007, 01:44 (20 years ago)
parentf2c2494
src/Text/Pandoc/Readers/Markdown.hs+2−1
@@ -104,7 +104,8 @@ skipEndline = option Space endline
104104indentSpaces = do
105105 state <- getState
106106 let tabStop = stateTabStop state
107− oneOfStrings [ "\t", (replicate tabStop ' ') ] <?> "indentation"
107+ count tabStop (char ' ') <|>
108+ (do{skipNonindentSpaces; string "\t"}) <?> "indentation"
108109
109110skipNonindentSpaces = do
110111 state <- getState