cairo-lang-lowering 2.4.1

Cairo lowering phase.
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77

//! > Test simple usage.

//! > test_runner_name
test_function_usage

//! > function
fn foo(a: usize, b: usize) {
  a;
  {b;}
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > usage
Block 2:2:
  Usage: ParamId(test::b), 
  Changes: 
  Introductions: 
Block 0:27:
  Usage: ParamId(test::a), ParamId(test::b), 
  Changes: 
  Introductions:

//! > ==========================================================================

//! > Test loop usage

//! > test_runner_name
test_function_usage

//! > function
fn foo(mut a: A, ref b: A) {
  let c = 5_usize;
  loop {
    let mut h = 0;
    a.b.c = c;
    if true {
        h = 1;
        let mut x = 4;
        x = 5;
        b = A { b: a.b };
        break b;
    };
  };
}

//! > function_name
foo

//! > module_code
struct A {
    b: B
}
struct B {
    c: usize,
}

//! > semantic_diagnostics

//! > usage
Block 11:12:
  Usage: LocalVarId(test::h), ParamId(test::b), ParamId(test::a)::b, 
  Changes: LocalVarId(test::h), ParamId(test::b), 
  Introductions: LocalVarId(test::x), 
Block 8:2:
  Usage: LocalVarId(test::c), ParamId(test::a)::b, ParamId(test::b), 
  Changes: ParamId(test::a)::b::c, ParamId(test::b), 
  Introductions: LocalVarId(test::h), 
Block 6:27:
  Usage: ParamId(test::b), ParamId(test::a)::b, 
  Changes: ParamId(test::a)::b::c, ParamId(test::b), 
  Introductions: LocalVarId(test::c),