diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-05-24 22:41:47 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-05-24 22:41:47 +0200 |
commit | bc6aac7b474495c4433c31bcd4a3570057edb850 (patch) | |
tree | d2656a12fac472f359f38cfc4af50ab18d25b777 /src/Text/Pandoc/Readers/Odt/Generic/Namespaces.hs | |
parent | d4ccd1e001bce84f1bae338cd07d4e8e2e7875cb (diff) | |
download | pandoc-bc6aac7b474495c4433c31bcd4a3570057edb850.tar.gz |
Parsing: Provide parseFromString'.
This is a verison of parseFromString specialied to
ParserState, which resets stateLastStrPos at the end.
This is almost always what we want.
This fixes a bug where `_hi_` wasn't treated as emphasis in
the following, because pandoc got confused about the
position of the last word:
- [o] _hi_
Closes #3690.
Diffstat (limited to 'src/Text/Pandoc/Readers/Odt/Generic/Namespaces.hs')
0 files changed, 0 insertions, 0 deletions