leo/compiler/passes/README.md

leo-ast-passes

Usage

The code here is split into several usages. Each usage represents a different pass or modification when given an AST.

Canonicalization

This pass of the code has a few changes it must complete:

• Self is not allowed outside a circuit.
• Self in circuits must be replaced with an Identifier containing the Circuit Name.
• Any 0 size array definitions should be rejected.
• Multi-size array definitions should be expanded such that [0u8; (2, 3)] becomes [[0u8; 3] 2].
• Compound assignments become simple assignments such that a += 2; becomes a = a + 2;.
• Missing function output types are replaced with an empty tuple.

Import Resolution

This pass iterates through the import statements(nestedly), resloving all imports. Thus adding the improted file's AST to the main AST.

In addition, it also handles forcibly importing the stdlib prelude files.

Structure

Each different type of pass is located in its own directory within the src directory.