Function do_traversal

pub fn do_traversal(
    state: &mut CompileState,
    root: Program,
) -> Result<Program, Vec<AstError>>

Analyses data dependencies in the given brane-dsl AST.

Note that type analysis must already have been performed.

Arguments

• root: The root node of the tree on which this compiler pass will be done.

Returns

The same nodes as went in, but now with added in input and result annotations to each external call.

Errors

This pass typically does not error, but the option is here for convention purposes.