On Mon, Apr 20, 2015 at 2:01 PM, Robert Collins <robe...@robertcollins.net> wrote:
> On 21 April 2015 at 08:50, Harry Percival <harry.perci...@gmail.com> > wrote: > >> stub files are only used to type-check *users* of a module. If you want > a > >> module itself to be type-checked you have to use inline type hints > > > > is this a fundamental limitation, or just the current state of tooling? > > AIUI its the fundamental design. Stubs don't annotate python code, > they *are* annotated code themselves. They aren't merged with the > observed code at all. > > Could they be? Possibly. I don't know how much work that would be. > It's fundamental in the implementation of mypy. It doesn't have to be in the implementation of other type checkers (and IIRC the Google folks are planning to merge the two streams). However if you are using typing.get_type_hints(func) this is not intended to give you access to hints defined in stubs (it would require a huge amount of machinery to implement that right). -- --Guido van Rossum (python.org/~guido)
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
