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

//! > Test for break with value

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let mut _iter = array![10, 11, 12, 13_felt252].span();
    for _x in _iter {
        1;
        break 5;
        break;
    }
}

//! > function_name
foo

//! > expected_diagnostics
error[E2147]: Can only break with a value inside a `loop`.
 --> lib.cairo:5:9
        break 5;
        ^^^^^^^^

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

//! >  Test for Unsupported feature

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    let arr = array![A { x: Some(1) }, A { x: None }, A { x: Some(2) }].span();
    for A(x) in arr {
        x;
    }
}

//! > function_name
foo

//! > module_code
struct A {
    x: Option<i32>,
}

//! > expected_diagnostics
error[E2009]: Not a variant. Use the full name Enum::Variant.
 --> lib.cairo:6:9
    for A(x) in arr {
        ^

error[E0006]: Identifier not found.
 --> lib.cairo:7:9
        x;
        ^

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

//! > Test for loop with duplicate variables in pattern.

//! > test_runner_name
test_function_diagnostics(expect_diagnostics: true)

//! > function_code
fn foo() {
    for (_a, _a) in array![(1, 2)] {}
}

//! > function_name
foo

//! > expected_diagnostics
error[E2049]: Redefinition of variable name "_a" in pattern.
 --> lib.cairo:2:14
    for (_a, _a) in array![(1, 2)] {}
             ^^