Mars Programming Language

interactive.handle_command doesn't execute type-annotated statement

Reported by Matt Giuca on 2010-05-10
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Mars
High
Matt Giuca

Bug Description

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.

Related branches

Matt Giuca (mgiuca) wrote :

Fixed in trunk r1027.

Changed in mars:
status: Triaged → Fix Committed
Matt Giuca (mgiuca) on 2010-06-25
Changed in mars:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers