lowered AST with type annotation?

[Hongbo Rong]

Hello,

I noticed that a lowered AST returned from code_lowered() is close to source-level Julia code, while a typed AST returned from code_typed() has all details. 

We are working on a Julia package, whose ideal target would be the lowered AST, because of its cleanness and closeness to source level. However, we also need types inferred/annotated for each symbol. 

We want to do some analyses on this type-annotated lowered AST, then insert some new nodes into it, and/or delete some old nodes from it. Then we hope the AST can be processed by Julia normally (transformed to the detailed typed AST, emit LLVM, etc.)

Can this be done completely inside a package?

Thanks,

Hongbo