diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2012-07-24 09:08:54 -0700 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2012-07-24 09:08:54 -0700 |
| commit | 2a4b987cc33995177b339f86c096a87b5abb1795 (patch) | |
| tree | 92f3c52037b6b283a3cb58e2fda1f79dda5518a0 /src/Text | |
| parent | bab816cefef1165326bbf97b665769c6d0e50487 (diff) | |
More performance improvements on pipe tables.
Diffstat (limited to 'src/Text')
| -rw-r--r-- | src/Text/Pandoc/Readers/Markdown.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Readers/Markdown.hs b/src/Text/Pandoc/Readers/Markdown.hs index a6f3db806..fb8910583 100644 --- a/src/Text/Pandoc/Readers/Markdown.hs +++ b/src/Text/Pandoc/Readers/Markdown.hs @@ -913,7 +913,6 @@ pipeTable headless = tableWith (pipeTableHeader headless) pipeTableHeader :: Bool -- ^ Headerless table -> Parser [Char] ParserState ([[Block]], [Alignment], [Int]) pipeTableHeader headless = do - scanForPipe try $ do heads <- if headless then return $ repeat [] @@ -965,7 +964,7 @@ table = try $ do Table _ aligns widths heads lines' <- multilineTable False <|> simpleTable True <|> simpleTable False <|> multilineTable True <|> - pipeTable False <|> pipeTable True <|> + (scanForPipe >> (pipeTable False <|> pipeTable True)) <|> gridTable False <|> gridTable True <?> "table" caption <- if null frontCaption then option [] tableCaption |