[Python-Dev] What does a double coding cookie mean?
MRAB
python at mrabarnett.plus.com
Tue Mar 15 17:23:33 EDT 2016
More information about the Python-Dev mailing list
Tue Mar 15 17:23:33 EDT 2016
- Previous message (by thread): [Python-Dev] What does a double coding cookie mean?
- Next message (by thread): [Python-Dev] What does a double coding cookie mean?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On 2016-03-15 20:53, MRAB wrote: > On 2016-03-15 20:30, Guido van Rossum wrote: >> I came across a file that had two different coding cookies -- one on >> the first line and one on the second. CPython uses the first, but mypy >> happens to use the second. I couldn't find anything in the spec or >> docs ruling out the second interpretation. Does anyone have a >> suggestion (apart from following CPython)? >> >> Reference: https://github.com/python/mypy/issues/1281 >> > I think it should follow CPython. > > As I see it, CPython allows it to be on the second line because the > first line might be needed for the shebang. > > If the first two lines both had an encoding, and then you inserted a > shebang line, the second one would be ignored anyway. > A further thought: is mypy just assuming that the first line contains the shebang? If there's only one encoding line, and it's the first line, does mypy still get it right?
- Previous message (by thread): [Python-Dev] What does a double coding cookie mean?
- Next message (by thread): [Python-Dev] What does a double coding cookie mean?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the Python-Dev mailing list