diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-11-24 20:23:06 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-11-24 20:23:06 -0800 |
| commit | 33d328f1cf689fc0ceede285617cd027c768e422 (patch) | |
| tree | bb0dd87b9855213a9a2b6659f1fbb0761191afae /src | |
| parent | c73ae81628b77d8b5002e8216650dd8b449768b5 (diff) | |
Allow pipe tables with no body rows.
Previously this raised a runtime error.
Closes #2556.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Readers/Markdown.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Readers/Markdown.hs b/src/Text/Pandoc/Readers/Markdown.hs index d0c03062a..64cd817ba 100644 --- a/src/Text/Pandoc/Readers/Markdown.hs +++ b/src/Text/Pandoc/Readers/Markdown.hs @@ -1341,9 +1341,10 @@ pipeTable :: MarkdownParser ([Alignment], [Double], F [Blocks], F [[Blocks]]) pipeTable = try $ do nonindentSpaces lookAhead nonspaceChar - (heads,(aligns, seplengths)) <- (,) <$> pipeTableRow <*> pipeBreak + ((heads, rawHead),(aligns, seplengths)) <- (,) <$> + withRaw pipeTableRow <*> pipeBreak (lines', rawRows) <- unzip <$> many (withRaw pipeTableRow) - let maxlength = maximum $ map length rawRows + let maxlength = maximum $ map length (rawHead : rawRows) numColumns <- getOption readerColumns let widths = if maxlength > numColumns then map (\len -> |