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 <redradist@gmail.com> 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 -- python-ideas@python.org
To unsubscribe send an email to python-ideas-leave@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/2F2HAI63XHMSIZYJ7CKKRQDVVQQZVRZ4/
Code of Conduct: http://python.org/psf/codeofconduct/