Regarding MyPy , I just opened a PR (https://github.com/apache/tvm/pull/8302) which adds initial support for MyPy as part of the initial linting stage in Jenkins.
Currently, errors are ignored in order to pass Jenkins pipeline. IMO this PR can be merged as initial support. The question that raises is how to proceed after that. Enabling MyPy on the whole project produces thousands of types errors. So, I think is feasible fixing type errors in some modules and enabling it after. What do you think about that? Is there any preference for modules that can benefit immediately? --- [Visit Topic](https://discuss.tvm.apache.org/t/rfc-setting-up-mypy-type-checking-for-tvm-codebase/9231/13) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/98029f91fda1c6fad765812fd4f83d1c1cfd135f29b6c5593b3d89c8c1b5942c).
