Struct passerine::compiler::hoist::Hoister

pub struct Hoister { /* fields omitted */ }

Keeps track of:

1. Local and nonlocal variables in each scope.
2. All variables declared.
3. Variables that have been used but not declared.

Implementations

impl Hoister

pub fn new() -> Hoister

Creates a new hoisted in a root scope. Note that the hoister will always have a root scope.

pub fn walk(&mut self, cst: Spanned<CST>) -> Result<Spanned<SST>, Syntax>

Walks a CST to produce an SST. This is fairly standard - hoisting happens in self.assign, self.lambda, and self.symbol.

pub fn walk_pattern(
    &mut self,
    pattern: Spanned<CSTPattern>,
    declare: bool
) -> Spanned<SSTPattern>

Walks a pattern. If declare is true, we shadow variables in existing scopes and creates a new variable in the local scope.

pub fn symbol(&mut self, name: &str) -> SST

Replaces a symbol name with a unique identifier for that symbol

pub fn block(&mut self, block: Vec<Spanned<CST>>) -> Result<SST, Syntax>

Walks a block, nothing fancy here.

pub fn tuple(&mut self, tuple: Vec<Spanned<CST>>) -> Result<SST, Syntax>

Walks a tuple, nothing fancy here.

pub fn assign(
    &mut self,
    pattern: Spanned<CSTPattern>,
    expression: Spanned<CST>
) -> Result<SST, Syntax>

Walks an assignment. Delegates to walk_pattern for capturing. Assignments can capture existing variables

pub fn lambda(
    &mut self,
    pattern: Spanned<CSTPattern>,
    expression: Spanned<CST>
) -> Result<SST, Syntax>

Walks a function definition. Like assign, delegates to walk_pattern for capturing. But any paramaters will shadow those in outer scopes.

pub fn call(
    &mut self,
    fun: Spanned<CST>,
    arg: Spanned<CST>
) -> Result<SST, Syntax>

Walks a function call.