First typing commit
Merge branch 'master' into typing
Added a typing error
Merge branch 'master' into typing
Definition of a typed structure
Definition of a typed structure
Merge branch 'master' into typing
Create a framework to test the typing module
Improved typing to parse the classes definition environment, and tested this part
Added the class a method is define in, for heritage and redefinition purposes
Handle method redefinition in the typer.
Type of different expressions and tests
Type the method calls + tests.
Added type recognition of local variables expressions, and some other basic expressions
Added attributes to the classes environment, so that we can put the attributes in the varEnv when typing the methods expressions
Add handling of static methods in the typer + tests
Small test to clarify method calls
Handling of static method calls in the typer module + tests
Handling of static method calls in the typer module + tests
Improvement: typer makes static method see only static attributes