Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2016-March/143501.html below:

[Python-Dev] What does a double coding cookie mean?

• 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 ]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4