From f48a25779cb9b15868d1cd319860d7bee8d57208 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Wed, 16 May 2018 01:01:30 -0700
Subject: [PATCH] Lol just get rid of all the old code, start from scratch
 again

---
 schala-lang/src/typechecking.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index 9840522..01e99ab 100644
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -148,12 +148,14 @@ impl TypeContext {
     output
   }
 
-  pub fn type_check_ast(&mut self, ast: &parsing::AST) -> TypeResult<Type> {
+  pub fn type_check_ast(&mut self, ast: &parsing::AST) -> TypeResult<String> {
     let ref block = ast.0;
-    Ok(self.infer_block(block)?)
+    //Ok(self.infer_block(block)?)
+	Ok(format!("Nothin' b/c redoing typechecking"))
   }
 }
 
+/*
 impl TypeContext {
   fn infer_block(&mut self, statements: &Vec<parsing::Statement>) -> TypeResult<Type> {
     let mut ret_type = Type::Const(TConst::Unit);
@@ -259,4 +261,5 @@ impl TypeContext {
     }
   }
 }
+*/