Fri May 7 13:39:07 EDT 2010
Finalizing (-> Procedure)
Next: fix In + Tmp names. This should include a stage that guarantees
that all variables are used (inputs,tmp) and assigned to
This is difficult to modularize..
Inputs : these are picked by the mapper function, so it should know
the arity. Outputs: come from the output of the function. Temps:
allocated by the compileNodes step. Maybe the datastructure returned
should keep track of them?