1 "{ Package: 'jv:tea/compiler' }"

     2 

     3 "{ NameSpace: Smalltalk }"

     4 

     5 TProgramNodeVisitor subclass:#TTypeChecker

     6 	instanceVariableNames:''

     7 	classVariableNames:''

     8 	poolDictionaries:''

     9 	category:'Languages-Tea-Compiler-Analysis'

    10 !

    11 

    12 !TTypeChecker methodsFor:'visitor-double dispatching'!

    13 

    14 acceptReturnNode: aReturnNode 

    15     aReturnNode binding type = aReturnNode topNode binding type returnType ifFalse:[ 

    16         self error: 'Type mismatch'.

    17     ].

    18 

    19     "Created: / 25-08-2015 / 23:40:48 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    20 ! !

    21