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 /src/Text/Pandoc/Readers/MediaWiki.hs | |
| 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 'src/Text/Pandoc/Readers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions