A part of more complex syntax analizer
Expression's type deduction for:
- built-in functions usage
- basic types and operations
- 2-nd order functionals (like map and reduce)
- lambda-expressions
- annotated functions
- not annotated functions under some good conditions
Located in types_analizer2/test
python3 check_syntax/types_analyzer_wrapper.py FILE_NAME_TO_TEST.py
The result will be displayed to stdout as source text with special comments starting with ###