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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

use crate::functions::as_mutable_type::as_mutable_type_id;
use crate::functions::as_mutable_type_pack::as_mutable_type_pack_id;
use crate::functions::occurs_txn_log::occurs_txn_log_type_id_type_id;
use crate::records::pending_type::PendingType;
use crate::records::pending_type_pack::PendingTypePack;
use crate::records::txn_log::TxnLog;
use crate::type_aliases::type_id::TypeId;
use crate::type_aliases::type_pack_id::TypePackId;
use alloc::vec::Vec;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl TxnLog {
    pub fn commit(&mut self) {
        LUAU_ASSERT!(!self.radioactive);

        // The change maps are not mutated by occurs()/followOnce() (those only read
        // pending state), and Box gives stable addresses, so we snapshot the raw
        // pointers up front. This mirrors C++ iterating the map while passing
        // `*this` to occurs().
        let type_var_entries: Vec<(TypeId, *const PendingType, bool)> = self
            .type_var_changes
            .iter()
            .map(|(ty, rep)| (*ty, rep.as_ref() as *const PendingType, rep.dead))
            .collect();

        for (ty, rep, dead) in type_var_entries {
            if !dead {
                let unfollowed: TypeId = unsafe { &(*rep).pending as *const _ };

                if !occurs_txn_log_type_id_type_id(self, unfollowed, ty) {
                    unsafe {
                        (*as_mutable_type_id(ty)).reassign(&*unfollowed);
                    }
                }
            }
        }

        let type_pack_entries: Vec<(TypePackId, *const PendingTypePack)> = self
            .type_pack_changes
            .iter()
            .map(|(tp, rep)| (*tp, rep.as_ref() as *const PendingTypePack))
            .collect();

        for (tp, rep) in type_pack_entries {
            unsafe {
                (*as_mutable_type_pack_id(tp)).reassign(&(*rep).pending);
            }
        }

        self.clear();
    }
}