# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1601032698 -3600
# Node ID d8fad2b48b05024ceeb0cd7725a1a8a9b0a0c46d
# Parent  3473bc8d80c909d0e88df845b79f237269d962c8
util.error: Add unique 'instance_id' to error objects

diff -r 3473bc8d80c9 -r d8fad2b48b05 util/error.lua
--- a/util/error.lua	Sat Sep 19 20:49:24 2020 +0100
+++ b/util/error.lua	Fri Sep 25 12:18:18 2020 +0100
@@ -1,3 +1,4 @@
+local id = require "util.id";
 
 -- Library configuration (see configure())
 local auto_inject_traceback = false;
@@ -42,6 +43,7 @@
 	end
 
 	return setmetatable({
+		instance_id = id.short();
 		type = template.type or "cancel";
 		condition = template.condition or "undefined-condition";
 		text = template.text;