From b4c7ea3d02078ac9b8c148781fb5b99b16b6e60f Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Tue, 15 May 2018 23:03:50 -0700
Subject: [PATCH] Show bindings too in debug

---
 schala-lang/src/typechecking.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index 051a65a..3231d8b 100644
--- 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
   }