diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2016-05-30 17:30:04 +0200 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2016-06-02 15:30:21 +0200 |
commit | 729fca311fed275a8000d2ce3789d985133c34fc (patch) | |
tree | 41df1ba370ee4b59b7e7fbb60b92c3e390b51939 /.editorconfig | |
parent | 512bf2eebf5d59916b1154ef2025d776b367c035 (diff) | |
download | pandoc-729fca311fed275a8000d2ce3789d985133c34fc.tar.gz |
Org reader: drop unused field from parser state
The `OrgParserState` contained both an `orgStateMeta` and
`orgStateMeta'` field, the former for plain meta information and the
latter for F-monad wrapped meta info. The plain meta info is only used
to make `OrgParserState` an instance of the `HasMeta` class, which in
turn is never used in the reader. The (F Meta) version is hence renamed
to the "un-primed" version while the other one is dropped.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions