<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Aug 17, 2014 at 2:22 AM, Greg Ewing <span dir="ltr"><<a href="mailto:greg.ewing@canterbury.ac.nz" target="_blank">greg.ewing@canterbury.ac.nz</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">Guido van Rossum wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Perhaps a thornier issue is how mypy should handle decorators that manipulate the signature or annotations of the function they wrap. But I think the only reasonable answer here can be that mypy must understand what decorators do if it wants to have any chance at type-checking decorated functions.<br>


</blockquote>
<br></div>
Seems to me the only way to do that in general is to<br>
execute the decorators. That means importing everything<br>
the decorators depend on and probably running at least<br>
the top-level module code. Is executing arbitrary<br>
code at type-checking time really desirable?<span class="HOEnZb"><font color="#888888"></font></span></blockquote><div><br></div><div>Nah, you just have to type-check the decorators. :-) <br></div></div><br>-- <br>--Guido van Rossum (<a href="http://python.org/~guido">python.org/~guido</a>)
</div></div>