luaur-analysis 0.1.0

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7

use crate::type_aliases::l_value::LValue;
use crate::type_aliases::refinement_map::RefinementMap;
use crate::type_aliases::type_id::TypeId;

pub fn add_refinement(refis: &mut RefinementMap, lvalue: &LValue, ty: TypeId) {
    refis.insert(lvalue.clone(), ty);
}