When pretty printing a function, callers can optionally request
that the contents of the global symbol table be printed too, enabling
them to get a complete lifting. The only part missing are the type
definitions.
This also tweaks the printing code so local variable declarations are
indented and in general the generated code looks more human readable.
When pretty printing a function, callers can optionally request that the contents of the global symbol table be printed too, enabling them to get a complete lifting. The only part missing are the type definitions.
This also tweaks the printing code so local variable declarations are indented and in general the generated code looks more human readable.