search

dodona-edu / universal-judge

Universal judge for educational software testing
https://docs.dodona.be/en/tested
MIT License
9 stars 4 forks source link

Add type checker #407

Closed niknetniko closed 11 months ago

niknetniko commented 11 months ago

We already had type hints, but now we also actually check the types.

Besides enabling it in GA, this PR also fixes some bugs revealed by the type checker, in addition to many type hint fixes.