From 45367cdd37f34ee84bed4f024e33d2ec659fefd6 Mon Sep 17 00:00:00 2001 From: Albert Krewinkel Date: Tue, 14 Feb 2023 17:23:23 +0100 Subject: Lua: add new function pandoc.system.cputime. The function returns the CPU time consumed by pandoc and can be used to benchmark Lua computations. --- pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs') diff --git a/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs b/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs index 0f32bdaa8..61ab949a8 100644 --- a/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs +++ b/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/System.hs @@ -14,9 +14,11 @@ module Text.Pandoc.Lua.Module.System ( documentedModule ) where +import Data.Version (makeVersion) import HsLua import HsLua.Module.System - (arch, env, getwd, ls, mkdir, os, rmdir, with_env, with_tmpdir, with_wd) + ( arch, cputime, env, getwd, ls, mkdir, os, rmdir + , with_env, with_tmpdir, with_wd) -- | Push the pandoc.system module on the Lua stack. documentedModule :: LuaError e => Module e @@ -28,7 +30,8 @@ documentedModule = Module , os ] , moduleFunctions = - [ setName "environment" env + [ cputime `since` makeVersion [3, 1, 1] + , setName "environment" env , setName "get_working_directory" getwd , setName "list_directory" ls , setName "make_directory" mkdir -- cgit v1.2.3