Repository navigation
Do some type checking in functions without annotations #374
Description
Currently we don't type check functions without type annotations, even in modules that import typing. However, it might be better to run type checker for all functions. In functions without annotations every local variable (and argument) would have implicit Any types. This would let us catch some simple type errors within expressions, at least.
Activity
sanxiyn commentedon Aug 24, 2015
Can one assume types for
selfarguments in methods?JukkaL commentedon Jun 5, 2017
Closing this since
--check-untyped-defsprovides this functionality.