ola-parser 1.0.1

Ola Language Parser
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

contract C {
    fn g() -> (u256 a, u256 b, u256 c) {
        a = 1;
        b = 2;
        c = 3;
    }

    fn h() -> (u256 a, u256 b, u256 c, u256 d) {
        a = 1;
        b = 2;
        c = 3;
        d = 4;
    }

    fn f1() -> (bool) {
        (u256 x, u256 y, u256 z) = g();
        if (x != 1 || y != 2 || z != 3) return false;
        (, u256 a, ) = g();
        if (a != 2) return false;
        (u256 b, , ) = g();
        if (b != 1) return false;
        (, , u256 c) = g();
        if (c != 3) return false;
        return true;
    }

    fn f2() -> (bool) {
        (u256 a1, , u256 a3, ) = h();
        if (a1 != 1 || a3 != 3) return false;
        (u256 b1, u256 b2, , ) = h();
        if (b1 != 1 || b2 != 2) return false;
        (, u256 c2, u256 c3, ) = h();
        if (c2 != 2 || c3 != 3) return false;
        (, , u256 d3, u256 d4) = h();
        if (d3 != 3 || d4 != 4) return false;
        (u256 e1, , u256 e3, u256 e4) = h();
        if (e1 != 1 || e3 != 3 || e4 != 4) return false;
        return true;
    }

    fn f() -> (bool) {
        return f1() && f2();
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// f()  -> true