1 files changed, 11 insertions, 0 deletions
diff --git a/tiger-compiler/lib/misc/contract.hxx b/tiger-compiler/lib/misc/contract.hxx
new file mode 100644
index 0000000..6b00b59
--- /dev/null
+++ b/tiger-compiler/lib/misc/contract.hxx
@@ -0,0 +1,11 @@
+#pragma once
+
+#include <iostream>
+
+template <typename T> std::ostream& operator<<(Contract contract, T& t)
+{
+  return std::cerr << contract.fileName << ':' << contract.fileLine << ": "
+                   << contract.condType << " `" << contract.condText
+                   << "' failed.\n"
+                   << t;
+}