diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2017-05-31 19:59:34 +0200 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2017-05-31 19:59:34 +0200 |
commit | f955af58e6a668179ec678c13d2c5a6c0c3d7b63 (patch) | |
tree | 57eae9add07a8c8622e30c9857629865681be98f /src/Text/Pandoc/Readers/Odt/ContentReader.hs | |
parent | 774075c3e22ab2ad35e2306a5b98e30da512b310 (diff) | |
download | pandoc-f955af58e6a668179ec678c13d2c5a6c0c3d7b63.tar.gz |
Odt reader: remove dead code
The ODT reader contained a lot of general code useful for working with
arrows. However, many of these utils weren't used and are hence removed.
Diffstat (limited to 'src/Text/Pandoc/Readers/Odt/ContentReader.hs')
-rw-r--r-- | src/Text/Pandoc/Readers/Odt/ContentReader.hs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/Text/Pandoc/Readers/Odt/ContentReader.hs b/src/Text/Pandoc/Readers/Odt/ContentReader.hs index a1bd8cb59..777c10df5 100644 --- a/src/Text/Pandoc/Readers/Odt/ContentReader.hs +++ b/src/Text/Pandoc/Readers/Odt/ContentReader.hs @@ -94,8 +94,6 @@ data ReaderState , envMedia :: Media -- | Hold binary resources used in the document , odtMediaBag :: MediaBag --- , sequences --- , trackedChangeIDs } deriving ( Show ) @@ -899,9 +897,6 @@ read_reference_ref = matchingElement NsText "reference-ref" -- Entry point ---------------------- ---read_plain_content :: OdtReaderSafe _x Inlines ---read_plain_content = strContent >>^ text - read_text :: OdtReaderSafe _x Pandoc read_text = matchChildContent' [ read_header , read_paragraph |