luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::records::constraint_generator::ConstraintGenerator;
use crate::records::constraint_set::ConstraintSet;
use crate::type_aliases::scope_ptr_constraint_generator::ScopePtr;
use luaur_ast::records::ast_stat_block::AstStatBlock;

impl ConstraintGenerator {
    pub fn run_on_fragment(
        &mut self,
        resume_scope: &ScopePtr,
        block: *mut AstStatBlock,
    ) -> ConstraintSet {
        self.visit_fragment_root(resume_scope, block);

        ConstraintSet {
            root_scope: self.root_scope,
            constraints: self.constraints.clone(),
            free_types: self.free_types.clone(),
            scope_to_function: self.scope_to_function.clone(),
            errors: self.errors.clone(),
        }
    }
}