ast for body

[GoogleCodeExporter]

The AST for the body of functions should *be* a graph.

It is convenient (although not efficient) to redo name resolution instead
of forcing each transformer to work harder and update the symbol table too.
However, it is inconvenient (*and* inefficient) to recompute the graph of
commands from (possibly nested) blocks (which are lists of commands) and
goto-s. This is because I tend to think of the program as a graph anyway,
and keeping track of lowly things such as labels is a headache I'd rather
avoid.

Of course, if WhileCmd is not desugared and dealt with, we *have* to work
with blocks, labels, and goto-s.

Original issue reported on code.google.com by radugrig...@gmail.com on 19 Aug 2009 at 6:26