Diff

--- a/util/error.lua	Fri Aug 28 12:40:59 2020 +0100
+++ b/util/error.lua	Fri Aug 28 12:51:40 2020 +0100
@@ -1,6 +1,15 @@
+
+-- Library configuration (see configure())
+local auto_inject_traceback = false;
+local display_tracebacks = false;
+
+
 local error_mt = { __name = "error" };
 
 function error_mt:__tostring()
+	if display_tracebacks and self.context.traceback then
+		return ("error<%s:%s:%s:%s>"):format(self.type, self.condition, self.text or "", self.context.traceback);
+	end
 	return ("error<%s:%s:%s>"):format(self.type, self.condition, self.text or "");
 end
 
@@ -8,9 +17,10 @@
 	return getmetatable(e) == error_mt;
 end
 
-local auto_inject_traceback = false;
-
 local function configure(opt)
+	if opt.display_tracebacks ~= nil then
+		display_tracebacks = opt.display_tracebacks;
+	end
 	if opt.auto_inject_traceback ~= nil then
 		auto_inject_traceback = opt.auto_inject_traceback;
 	end