diff -r 2a3e47c13905 -r 97ee341d3e9f compiler/TTypeChecker.st
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/compiler/TTypeChecker.st	Wed Aug 26 07:51:18 2015 +0100
@@ -0,0 +1,21 @@
+"{ Package: 'jv:tea/compiler' }"
+
+"{ NameSpace: Smalltalk }"
+
+TProgramNodeVisitor subclass:#TTypeChecker
+	instanceVariableNames:''
+	classVariableNames:''
+	poolDictionaries:''
+	category:'Languages-Tea-Compiler-Analysis'
+!
+
+!TTypeChecker methodsFor:'visitor-double dispatching'!
+
+acceptReturnNode: aReturnNode 
+    aReturnNode binding type = aReturnNode topNode binding type returnType ifFalse:[ 
+        self error: 'Type mismatch'.
+    ].
+
+    "Created: / 25-08-2015 / 23:40:48 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+