windjammer 0.48.0

A simple language inspired by Go, Ruby, and Elixir that transpiles to Rust - 80% of Rust's power with 20% of the complexity
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

#![cfg(any(
    not(any(
        feature = "parser_tests",
        feature = "analyzer_tests",
        feature = "codegen_tests",
        feature = "interpreter_tests",
        feature = "conformance_tests",
        feature = "integration_tests",
    )),
    feature = "analyzer_tests",
))]

// TDD Test: Compiler incorrectly adds & to Copy type method arguments
// Vec::remove expects usize (by value), not &usize

#[path = "common/test_utils.rs"]
mod test_utils;

#[test]
#[cfg_attr(tarpaulin, ignore)]
fn test_vec_remove_should_not_add_reference() {
    // BUG: Compiler incorrectly adds & to usize argument for Vec::remove
    let code = r#"
    pub fn remove_item(mut items: Vec<i32>, index: usize) -> i32 {
        return items.remove(index)
    }
    "#;

    let generated = test_utils::compile_single_result(code).expect("Compilation failed");

    // Should NOT add & to the argument
    assert!(
        !generated.contains("items.remove(&index)"),
        "Should NOT add & to usize argument for Vec::remove, got:\n{}",
        generated
    );

    // Should pass by value
    assert!(
        generated.contains("items.remove(index)"),
        "Should pass usize by value to Vec::remove, got:\n{}",
        generated
    );
}

#[test]
#[cfg_attr(tarpaulin, ignore)]
fn test_vec_remove_with_cast_should_not_add_reference() {
    // Real case from components.rs
    let code = r#"
    pub fn remove_at(mut dense: Vec<i32>, index: i64) -> i32 {
        let idx: usize = index as usize
        return dense.remove(idx)
    }
    "#;

    let generated = test_utils::compile_single_result(code).expect("Compilation failed");

    // Should NOT add & or .clone()
    assert!(
        !generated.contains("dense.remove(&idx") && !generated.contains("&idx.clone()"),
        "Should NOT add & or .clone() to usize variable, got:\n{}",
        generated
    );

    // Should be simple: dense.remove(idx)
    assert!(
        generated.contains("dense.remove(idx)"),
        "Should pass usize variable by value, got:\n{}",
        generated
    );
}

#[test]
#[cfg_attr(tarpaulin, ignore)]
fn test_hashmap_remove_expects_reference() {
    // HashMap::remove DOES expect &K, should add &
    let code = r#"
    use std::collections::HashMap
    
    pub fn remove_key(mut map: HashMap<string, i32>, key: string) -> Option<i32> {
        return map.remove(key)
    }
    "#;

    let generated = test_utils::compile_single_result(code).expect("Compilation failed");

    // Phase-2 &str optimization can be suppressed when the param flows into HashMap.remove
    // (conservative &String path in analyzer). Rust still accepts remove(key) via coercion.
    assert!(
        generated.contains("key: &str") || generated.contains("key: &String"),
        "key parameter should be borrowed text (prefer &str, else &String); got:\n{}",
        generated
    );
    assert!(
        generated.contains("map.remove(key)"),
        "HashMap::remove should receive key directly (accepts &str), got:\n{}",
        generated
    );
}

#[test]
#[cfg_attr(tarpaulin, ignore)]
fn test_method_signature_determines_ref_not_type() {
    // The method signature should determine if & is needed, not the type
    let code = r#"
    pub struct Container {
        pub items: Vec<i32>,
    }
    
    impl Container {
        pub fn remove_at(self, index: usize) -> i32 {
            return self.items.remove(index)
        }
    }
    "#;

    let generated = test_utils::compile_single_result(code).expect("Compilation failed");

    // Should NOT add & to usize for Vec::remove
    assert!(
        !generated.contains("self.items.remove(&index)"),
        "Should NOT add & to usize for Vec::remove in method, got:\n{}",
        generated
    );
}