2281

1 files changed, 24 insertions, 0 deletions

diff --git a/010vm.cc b/010vm.cc
index 61e46909..8e3bab59 100644
--- a/010vm.cc
+++ b/010vm.cc
@@ -303,6 +303,30 @@ string reagent::to_string() const {
   return out.str();
 }
 
+string dump_types(const reagent& x) {
+  ostringstream out;
+  dump_types(x.type, out);
+  return out.str();
+}
+
+void dump_types(type_tree* type, ostringstream& out) {
+  if (!type->left && !type->right) {
+    out << Type[type->value].name;
+    return;
+  }
+  out << "<";
+  if (type->left)
+    dump_types(type->left, out);
+  else
+    out << Type[type->value].name;
+  out << " : ";
+  if (type->right)
+    dump_types(type->right, out);
+  else
+    out << " : <>";
+  out << ">";
+}
+
 string instruction::to_string() const {
   if (is_label) return label;
   ostringstream out;