Conversation
|
Thank you! I'm okay with merging this as is, but I'd also be in favor of just changing |
|
After looking at it, the Markdown reader is currently the only other reader to use these table functions. So if you would like to change |
|
I concur, changing |
Extended the shared GridTable to support this. Also adjusted simpleTableRow to prevent headless tables from being interpreted as multiple header rows.
0fef560 to
356a4f8
Compare
|
Alright, I changed Not sure what happened with the CI tests here. Looks like it tried to download a ghc version which somehow failed? |
|
I'll try re-running the actions. |
[API change] Text.Pandoc.Parsing: `tableWith` and `tableWith'` now return a list of lists of Blocks, rather than a list of Blocks, for the header rows, allowing for multiple header rows. Closes #10338.
This adds support for multiple header rows into tables.
In order to accomplish this, the shared
GridTablemodule was to extended to also be able to handle tables with multiple header rows.Also adjusted the
simpleTableRowfunction to prevent headless tables from being interpreted as multiple header rows and fixed hlint warnings about redundant$.Fixes #10338