salsa 0.26.1

A generic framework for on-demand, incrementalized computation (experimental)
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
53
54
55
56
57
58
59
60
61
62
63

#![cfg(feature = "inventory")]

//! Test that the `Update` derive works as expected

#[derive(salsa::Update)]
struct MyInput {
    field: &'static str,
}

#[derive(salsa::Update)]
struct MyInput2 {
    #[update(unsafe(with(custom_update)))]
    field: &'static str,
    #[update(unsafe(with(|dest, data| { *dest = data; true })))]
    field2: &'static str,
}

unsafe fn custom_update(dest: *mut &'static str, _data: &'static str) -> bool {
    unsafe { *dest = "ill-behaved for testing purposes" };
    true
}

#[test]
fn derived() {
    let mut m = MyInput { field: "foo" };
    assert_eq!(m.field, "foo");
    assert!(unsafe { salsa::Update::maybe_update(&mut m, MyInput { field: "bar" }) });
    assert_eq!(m.field, "bar");
    assert!(!unsafe { salsa::Update::maybe_update(&mut m, MyInput { field: "bar" }) });
    assert_eq!(m.field, "bar");
}

#[test]
fn derived_with() {
    let mut m = MyInput2 {
        field: "foo",
        field2: "foo",
    };
    assert_eq!(m.field, "foo");
    assert_eq!(m.field2, "foo");
    assert!(unsafe {
        salsa::Update::maybe_update(
            &mut m,
            MyInput2 {
                field: "bar",
                field2: "bar",
            },
        )
    });
    assert_eq!(m.field, "ill-behaved for testing purposes");
    assert_eq!(m.field2, "bar");
    assert!(unsafe {
        salsa::Update::maybe_update(
            &mut m,
            MyInput2 {
                field: "ill-behaved for testing purposes",
                field2: "foo",
            },
        )
    });
    assert_eq!(m.field, "ill-behaved for testing purposes");
    assert_eq!(m.field2, "foo");
}