cairo-language-server 2.20.0

The Cairo Language Server
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

use lsp_types::Hover;

use crate::support::insta::{test_transform_plain, test_transform_with_macros};

#[test]
fn uninfered_mut_ident() {
    test_transform_plain!(Hover,r#"
    fn main() {
        let mut xy<caret>z = unknown_function();
    }
    "#,@r#"
    source_context = """
        let mut xy<caret>z = unknown_function();
    """
    highlight = """
        let mut <sel>xyz</sel> = unknown_function();
    """
    popover = """
    ```cairo
    let mut xyz: ?
    ```
    """
    "#)
}

#[test]
fn uninfered_value() {
    test_transform_plain!(Hover,r#"
    fn main() {
        let mut xyz = unkn<caret>own_function();
    }
    "#,@r#"
    source_context = """
        let mut xyz = unkn<caret>own_function();
    """
    "#)
}

#[test]
fn uninfered_value_macro() {
    test_transform_with_macros!(Hover,r#"
    #[complex_attribute_macro_v2]
    fn main() {
        let mut xyz = unkn<caret>own_function();
    }
    "#,@r#"
    source_context = """
        let mut xyz = unkn<caret>own_function();
    """
    "#)
}

#[test]
fn uninfered_usage() {
    test_transform_plain!(Hover,r#"
    fn main() {
        let mut xyz = unknown_function();
        let y = xy<caret>z * 2;
    }
    "#,@r#"
    source_context = """
        let y = xy<caret>z * 2;
    """
    highlight = """
        let y = <sel>xyz</sel> * 2;
    """
    popover = """
    ```cairo
    let mut xyz: ?
    ```
    """
    "#)
}

#[test]
fn missing_type_param() {
    test_transform_plain!(Hover,r#"
    fn f(ab<caret>c) -> felt252 {
        2 * abc
    }
    "#,@r#"
    source_context = """
    fn f(ab<caret>c) -> felt252 {
    """
    highlight = """
    fn f(<sel>abc</sel>) -> felt252 {
    """
    popover = """
    ```cairo
    abc: ?
    ```
    """
    "#)
}

#[test]
fn missing_type_param_usage() {
    test_transform_plain!(Hover,r#"
    fn f(abc) -> felt252 {
        2 * ab<caret>c
    }
    "#,@r#"
    source_context = """
        2 * ab<caret>c
    """
    highlight = """
        2 * <sel>abc</sel>
    """
    popover = """
    ```cairo
    abc: ?
    ```
    """
    "#)
}