aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Lua/Util.hs
diff options
context:
space:
mode:
authorAlbert Krewinkel <albert@zeitkraut.de>2017-12-29 09:40:22 +0100
committerAlbert Krewinkel <albert@zeitkraut.de>2017-12-29 10:04:55 +0100
commit9be2c7624cb0cf3ef63516e5df959672958058bc (patch)
tree4e6bf5cb65a094fcf85ac4c3f284c16726da6786 /src/Text/Pandoc/Lua/Util.hs
parent820ee07f729e759d0e1da160c87b527881ee00e8 (diff)
downloadpandoc-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.hs1
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