"
    Copyright (C) 2015-now Jan Vrany

    This code is not an open-source (yet). You may use this code
    for your own experiments and projects, given that:

    * all modification to the code will be sent to the
      original author for inclusion in future releases
    * this is not used in any commercial software

    This license is provisional and may (will) change in
    a future.
"
"{ Package: 'jv:tea/compiler' }"

"{ NameSpace: Smalltalk }"

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

!TTypecheckerTests class methodsFor:'documentation'!

copyright
"
    Copyright (C) 2015-now Jan Vrany

    This code is not an open-source (yet). You may use this code
    for your own experiments and projects, given that:

    * all modification to the code will be sent to the
      original author for inclusion in future releases
    * this is not used in any commercial software

    This license is provisional and may (will) change in
    a future.
"
! !

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