Modules§
Functions§
- compile
- Generate MIR from AST.
The input ast (
root_expr_id
) should contain global context. (See [[compiler::parser::add_global_context]].) MIR generator itself does not emit any error, the any compile errors are analyzed before generating MIR, mostly in type checker. Note that the AST may contain partial error nodes, to do type check and report them as possible. - typecheck