diff --git a/src/schala_lang/eval.rs b/src/schala_lang/eval.rs
index 10a27f1..1c8c096 100644
--- a/src/schala_lang/eval.rs
+++ b/src/schala_lang/eval.rs
@@ -17,8 +17,9 @@ impl ReplState {
     format!("Evaluated AST: {:?}", ast)
   }
 
-  pub fn type_check(&mut self, ast: &AST) -> TypeCheck {
-    TypeCheck::Error("type lol".to_string())
+  pub fn type_check(&mut self, _ast: &AST) -> TypeCheck {
+    //TypeCheck::Error("type lol".to_string())
+    TypeCheck::OK
   }
 }
 
diff --git a/src/schala_lang/parsing.rs b/src/schala_lang/parsing.rs
index ddc62a1..3932873 100644
--- a/src/schala_lang/parsing.rs
+++ b/src/schala_lang/parsing.rs
@@ -619,7 +619,7 @@ impl Parser {
       Colon => Some(self.type_anno()?),
       _ => None
     };
-    if let Some(a) = expr_body.1 {
+    if let Some(_) = expr_body.1 {
       return ParseError::new("Bad parse state");
     }
     expr_body.1 = type_anno;