diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2017-12-29 09:40:22 +0100 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2017-12-29 10:04:55 +0100 |
commit | 9be2c7624cb0cf3ef63516e5df959672958058bc (patch) | |
tree | 4e6bf5cb65a094fcf85ac4c3f284c16726da6786 /src/Text/Pandoc/Lua/Util.hs | |
parent | 820ee07f729e759d0e1da160c87b527881ee00e8 (diff) | |
download | pandoc-9be2c7624cb0cf3ef63516e5df959672958058bc.tar.gz |
data/pandoc.lua: drop function pandoc.global_filter
The function `global_filter` was used internally to get the implicitly
defined global filter. It was of little value to end-users, but caused
unnecessary code duplication in pandoc. The function has hence been
dropped. Internally, the global filter is now received by interpreting
the global table as lua filter.
This is a Lua API change.
Diffstat (limited to 'src/Text/Pandoc/Lua/Util.hs')
-rw-r--r-- | src/Text/Pandoc/Lua/Util.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Lua/Util.hs b/src/Text/Pandoc/Lua/Util.hs index 1f7664fc0..2958bd734 100644 --- a/src/Text/Pandoc/Lua/Util.hs +++ b/src/Text/Pandoc/Lua/Util.hs @@ -37,6 +37,7 @@ module Text.Pandoc.Lua.Util , setRawInt , addRawInt , raiseError + , popValue , OrNil (..) , PushViaCall , pushViaCall |