Show bindings too in debug

2018-05-15 23:03:50 -07:00
parent e7c89ed840
commit b4c7ea3d02
1 changed files with 4 additions and 0 deletions
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -185,6 +185,10 @@ impl TypeContext {
    for (sym, ty) in &self.symbol_table.values {
      write!(output, "{} -> {:?}\n", sym, ty).unwrap();
    }
+    write!(output, "\nBindings\n").unwrap();
+    for (sym, ty) in &self.bindings {
+      write!(output, "{} : {:?}\n", sym, ty).unwrap();
+    }
    output
  }