[Python-Dev] What does a double coding cookie mean? (original) (raw)
Guido van Rossum guido at python.org
Tue Mar 15 16:30:08 EDT 2016
- Previous message (by thread): [Python-Dev] [Webmaster] Python installation problem
- Next message (by thread): [Python-Dev] What does a double coding cookie mean?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
-- --Guido van Rossum (python.org/~guido)
- Previous message (by thread): [Python-Dev] [Webmaster] Python installation problem
- Next message (by thread): [Python-Dev] What does a double coding cookie mean?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]