"{ 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>"
! !