[Python-3000] PEP 3107 - Function Annotations

[Phillip J. Eby]

At 10:53 PM 12/27/2006 -0800, Neal Norwitz wrote:
>  * With the modification of MAKE_FUNCTION to be a 32-bit value, this
>means that EXTENDED_ARG is now used.  This means that the peephole
>optimizer won't work for the outer function.  I think we should
>correct this.

Why not just follow the MAKE_FUNCTION with the calculation of the 
annotations, followed by a STORE_ATTR to attach them to the function?  Why 
do we have to change MAKE_FUNCTION for this?
(I.e., can't we just compute the annotation values *after* the function is 
created, but before it's bound to its name?)