JukkaL/mypy — pull request #528 by spkersten (2014-12-10 19:57:03+00:00)
Title: Support for Ellipsis and ...

Added Python 3 specific support for ellipsis. See test cases for examples.

I have some doubt about the way I introduced the `ellipsis` class, which is the type of `...` and `Ellipsis`. I've added it as a class to `builtins.py`, however, that makes code like `a = ellipsis()` legal, which it is not. I don't know how to have `ellipsis` as a class, while at the same time hiding it.

Fixes #524.