cairo-lang-semantic 2.18.0

Cairo semantic model.
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174

//! > Repeated modifiers for a local variable (first modifier is `mut`).

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let mut ref mut ref ref _a = 3;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2101]: `ref` modifier was specified after another modifier (`mut`). Only a single modifier is allowed.
 --> lib.cairo:2:13
    let mut ref mut ref ref _a = 3;
            ^^^

error[E2101]: `mut` modifier was specified after another modifier (`mut`). Only a single modifier is allowed.
 --> lib.cairo:2:17
    let mut ref mut ref ref _a = 3;
                ^^^

error[E2101]: `ref` modifier was specified after another modifier (`mut`). Only a single modifier is allowed.
 --> lib.cairo:2:21
    let mut ref mut ref ref _a = 3;
                    ^^^

error[E2101]: `ref` modifier was specified after another modifier (`mut`). Only a single modifier is allowed.
 --> lib.cairo:2:25
    let mut ref mut ref ref _a = 3;
                        ^^^

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

//! > Repeated modifiers for a local variable (first modifier is `ref`).

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let ref mut _a = 3;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2101]: `mut` modifier was specified after another modifier (`ref`). Only a single modifier is allowed.
 --> lib.cairo:2:13
    let ref mut _a = 3;
            ^^^

error[E2102]: `ref` is only allowed for function parameters, not for local variables.
 --> lib.cairo:2:17
    let ref mut _a = 3;
                ^^

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

//! > Unsupported ref modifier for a local variable.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let ref _a = 3;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2102]: `ref` is only allowed for function parameters, not for local variables.
 --> lib.cairo:2:13
    let ref _a = 3;
            ^^

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

//! > Variable not found diagnostics

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let _x = not_found;
    let _x = foo;
}

//! > function_name
foo

//! > expected_diagnostics
error[E0006]: Identifier not found.
 --> lib.cairo:2:14
    let _x = not_found;
             ^^^^^^^^^

error[E2005]: Expected variable or constant, found function.
 --> lib.cairo:3:14
    let _x = foo;
             ^^^

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

//! > Type mismatch diagnostics

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let _a: () = 3_felt252;
}

//! > function_name
foo

//! > expected_diagnostics
error[E2041]: Unexpected argument type. Expected: "()", found: "core::felt252".
 --> lib.cairo:2:18
    let _a: () = 3_felt252;
                 ^^^^^^^^^

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

//! > Test let introduce variables into environment, even when diagnostics prevented evaluation.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let (a, b, c) = undefined();
    let [d, e, f] = (a, b, c);
    let (g, h, i) = [d, e, f];
    let (j, k, l, m) = (g, h, i);
    let [n, o, p] = [j, k, l, m];
    let _ignore = n + o + p;
}

//! > function_name
foo

//! > expected_diagnostics
error[E0006]: Function not found.
 --> lib.cairo:2:21
    let (a, b, c) = undefined();
                    ^^^^^^^^^

error[E2103]: Mismatched types: pattern cannot match against type "(<missing>, <missing>, <missing>)".
 --> lib.cairo:3:9
    let [d, e, f] = (a, b, c);
        ^^^^^^^^^

error[E2103]: Mismatched types: pattern cannot match against type "[<missing>; 3]".
 --> lib.cairo:4:9
    let (g, h, i) = [d, e, f];
        ^^^^^^^^^

error[E2107]: Wrong number of tuple elements in pattern. Expected: 3. Got: 4.
 --> lib.cairo:5:9
    let (j, k, l, m) = (g, h, i);
        ^^^^^^^^^^^^

error[E2108]: Wrong number of fixed size array elements in pattern. Expected: 4. Got: 3.
 --> lib.cairo:6:9
    let [n, o, p] = [j, k, l, m];
        ^^^^^^^^^