From d6e66b1f1d79ddb0a4b402461da5e1f42ed6b658 Mon Sep 17 00:00:00 2001 From: Albert Krewinkel Date: Fri, 31 Dec 2021 11:02:16 +0100 Subject: [PATCH] Lua: cleanup stack in peekReadOptionsTable A ReaderOptions element was left on top of the stack when the `peekReadOptionsTable` function was invoked. --- src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs b/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs index c20770dba..225dcf116 100644 --- a/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs +++ b/src/Text/Pandoc/Lua/Marshal/ReaderOptions.hs @@ -127,7 +127,7 @@ peekReaderOptionsTable idx = retrieving "ReaderOptions (table)" $ do setFields pushnil -- first key setFields - peekUD typeReaderOptions top + peekUD typeReaderOptions top `lastly` pop 1 instance Pushable ReaderOptions where push = pushReaderOptions