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

use crate::records::constraint_solver::ConstraintSolver;

impl ConstraintSolver {
    pub fn randomize(&mut self, seed: u32) {
        if self.unsolved_constraints.is_empty() {
            return;
        }

        let mut rng = seed;

        for i in (1..self.unsolved_constraints.len()).rev() {
            let j = (rng as usize) % (i + 1);

            self.unsolved_constraints.swap(i, j);

            rng = rng.wrapping_mul(1664525).wrapping_add(1013904223);
        }
    }
}