I would think this is something that should live in the type checker rather than cpython. They could have an argument to run cpython after doing the check.
On Sun, Dec 6, 2020, 05:23 <[email protected]> wrote: > It would be nice to have "Typed Python" mode that will look like this: > > ```bash > #!/usr/bin/env bash > > set -e > python -m mypy $1 > python $1 > ``` > https://gist.github.com/redradist/dd7253a55081a4dc13fdf3f1549f43b5 > > It could be achieved by adding special flag like `-t` (typed) > _______________________________________________ > Python-ideas mailing list -- [email protected] > To unsubscribe send an email to [email protected] > https://mail.python.org/mailman3/lists/python-ideas.python.org/ > Message archived at > https://mail.python.org/archives/list/[email protected]/message/2F2HAI63XHMSIZYJ7CKKRQDVVQQZVRZ4/ > Code of Conduct: http://python.org/psf/codeofconduct/ >
_______________________________________________ Python-ideas mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/V6LWNSKTDL7CLZISESYSGE36ITEBP4LC/ Code of Conduct: http://python.org/psf/codeofconduct/
