diff options
Diffstat (limited to 'tex/context/base/util-deb.lua')
-rw-r--r-- | tex/context/base/util-deb.lua | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tex/context/base/util-deb.lua b/tex/context/base/util-deb.lua index 33d43b25f..d4b0831f2 100644 --- a/tex/context/base/util-deb.lua +++ b/tex/context/base/util-deb.lua @@ -108,23 +108,6 @@ end --~ print("") --~ debugger.showstats(print,3) -local is_node = node and node.is_node -local is_lpeg = lpeg and lpeg.type - -function inspect(i) -- global function - local ti = type(i) - if ti == "table" then - table.print(i,"table") - elseif is_node and is_node(i) then - table.print(nodes.astable(i),tostring(i)) - elseif is_lpeg and is_lpeg(i) then - lpeg.print(i) - else - print(tostring(i)) - end - return i -- so that we can inline the inspect -end - -- from the lua book: function traceback() |