search

IUCompilerCourse / python-student-support-code

Support for for students (Python)
MIT License
57 stars 38 forks source link

Improvements to type-checking #9

Closed AndrewTolmach closed 1 year ago

AndrewTolmach commented 1 year ago

Some improvements to type-checking, especially to enforce proper tails in C languages.

Note that one improvement, in type_check_Ltuple.py, cannot be implemented until an issue with closure typing is fixed.

This PR should be coordinated with a related one in python-compiler.