interactive.handle_command doesn't execute type-annotated statement

[Matt Giuca]

interactive.handle_command type checks the statement given (and the type checker, as usual, annotates all of the expressions in the statement with types). However, handle_command throws away the annotated version, and uses the original one to execute.

This is bad because later passes may want to use that type information -- in bug #574108, ast_cfg needs it to generate the instruction information.

Change it so it executes the annotated version of the statement.

[Matt Giuca (mgiuca)]

Fixed in trunk r1027.