Our error messages would be a bit more concise if we removed the builtins. part from type output, and perhaps typing. too. This would make error messages match up more closely with runtime syntax.
For example, we currently output None as builtins.None, which is a syntax error at runtime. Just outputting None would be more clear.
Our error messages would be a bit more concise if we removed the
builtins.part from type output, and perhapstyping.too. This would make error messages match up more closely with runtime syntax.For example, we currently output
Noneasbuiltins.None, which is a syntax error at runtime. Just outputtingNonewould be more clear.