diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-03-27 17:11:14 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-03-27 17:11:14 -0700 |
commit | 6157f7ec4f549f5db3406f86cb37d6047d2483fc (patch) | |
tree | a661fc13291abdcac6b6336243857fa0b0ff2ef5 /src/Text/Pandoc/Writers/ODT.hs | |
parent | 2138ef823921ae58a71c6ca367ccfac4e9367ff9 (diff) | |
download | pandoc-6157f7ec4f549f5db3406f86cb37d6047d2483fc.tar.gz |
Writers.Shared.metaValueToJSON: use Number Values for integers.
Pandoc's MetaValue doesn't have a distinguished number type,
so numbers are put in MetaStrings. If the MetaString consists
entirely of digits, we convert it to a Number.
We should probably consider adding a MetaNumber constructor
to MetaValue, for better round-tripping with JSON etc.
This change aids round-tripping in ipynb metadata fields,
like `toc_depth`.
Diffstat (limited to 'src/Text/Pandoc/Writers/ODT.hs')
0 files changed, 0 insertions, 0 deletions