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

"{ NameSpace: Smalltalk }"

TestCase subclass:#TTypecheckerTests
	instanceVariableNames:''
	classVariableNames:''
	poolDictionaries:''
	category:'Languages-Tea-Compiler-Internals-Tests'
!

!TTypecheckerTests methodsFor:'tests - bindings'!

test_binding_01
    | unit |

    unit := TSourceReader read: '
    nil subclass: tObject
        category: ''tKernel''
    !!
    !!tObject methodsFor: ''tests''!!
    foo <^ tObject>
        ^ self        
    !! !!
    '.
    TSemanticAnalyser runOn: unit.

    self halt: 'Unfinished'

    "Created: / 14-09-2015 / 13:52:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !