move-stackless-bytecode 0.1.5

Move stackless bytecode
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

address 0x2 {
module Summary {
    struct S1 has key { s2: S2 }
    struct S2 has key, store { f: u64 }

    public fun write_callee(s2: &mut S2) {
        s2.f = 7;
    }

    public fun write_caller1(a: address) acquires S2 {
        write_callee(borrow_global_mut<S2>(a))
    }

    public fun write_caller2(a: address) acquires S1 {
        write_callee(&mut borrow_global_mut<S1>(a).s2)
    }

    public fun write_addr() acquires S1 {
        write_caller2(@0x777);
    }

}
}