luaur-analysis 0.1.1

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
23
24
25
26
27

use crate::records::txn_log::TxnLog;

impl TxnLog {
    pub fn concat(&mut self, rhs: TxnLog) {
        for (ty, rep) in rhs.type_var_changes.iter() {
            if rep.dead {
                continue;
            }

            if let Some(existing) = self.type_var_changes.find_mut(ty) {
                *existing = rep.clone();
            } else {
                self.type_var_changes.try_insert(*ty, rep.clone());
            }
        }

        for (tp, rep) in rhs.type_pack_changes.iter() {
            if let Some(existing) = self.type_pack_changes.find_mut(tp) {
                *existing = rep.clone();
            } else {
                self.type_pack_changes.try_insert(*tp, rep.clone());
            }
        }

        self.radioactive |= rhs.radioactive;
    }
}