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
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

#![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: Float literal inference for array and Vec literals
///
/// Problem: vec![1.0, 2.0, 3.0] where Vec<f32> generates f64 elements, causing E0308 errors.
///
/// Goal: When float literals appear in array/Vec literals, infer from the container's element type.
///
/// Architecture:
/// - Default for vec![1.0] (no type annotation) remains f64
/// - Type annotations on left side: let v: Vec<f32> = vec![1.0, 2.0, 3.0]
/// - Only infer when element type is explicitly specified or constrained
#[path = "common/test_utils.rs"]
mod test_utils;

#[test]
fn test_vec_macro_with_f32_annotation() {
    // let v: Vec<f32> = vec![1.0, 2.0, 3.0] → literals should be f32
    let source = r#"
fn test() {
    let v: Vec<f32> = vec![1.0, 2.0, 3.0]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32") && output.contains("2.0_f32") && output.contains("3.0_f32"),
        "Vec<f32> = vec![1.0, 2.0, 3.0] should generate _f32, got:\n{}",
        output
    );
    assert!(
        !output.contains("1.0_f64") && !output.contains("2.0_f64") && !output.contains("3.0_f64"),
        "Should not have f64 when Vec<f32> is annotated, got:\n{}",
        output
    );
}

#[test]
fn test_array_literal_with_f32_annotation() {
    // let a: [f32; 3] = [1.0, 2.0, 3.0] → literals should be f32
    let source = r#"
fn test() {
    let a: [f32; 3] = [1.0, 2.0, 3.0]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32") && output.contains("2.0_f32") && output.contains("3.0_f32"),
        "[f32; 3] = [1.0, 2.0, 3.0] should generate _f32, got:\n{}",
        output
    );
}

#[test]
fn test_array_repeat_with_f32_annotation() {
    // let a: [f32; 10] = [1.0; 10] → literal should be f32
    let source = r#"
fn test() {
    let a: [f32; 10] = [1.0; 10]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32"),
        "[f32; 10] = [1.0; 10] should generate 1.0_f32, got:\n{}",
        output
    );
}

#[test]
fn test_nested_vec_vec_f32() {
    // vec![vec![1.0, 2.0], vec![3.0, 4.0]] with Vec<Vec<f32>>
    let source = r#"
fn test() {
    let v: Vec<Vec<f32>> = vec![vec![1.0, 2.0], vec![3.0, 4.0]]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32")
            && output.contains("2.0_f32")
            && output.contains("3.0_f32")
            && output.contains("4.0_f32"),
        "Vec<Vec<f32>> nested vec! should generate _f32 for all literals, got:\n{}",
        output
    );
}

#[test]
fn test_no_annotation_defaults_to_f32() {
    // Windjammer convention: unconstrained float literals default to f32
    // (game/graphics standard — most APIs use f32).
    let source = r#"
fn test() {
    let v = vec![1.0, 2.0]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32") && output.contains("2.0_f32"),
        "Unannotated vec![1.0, 2.0] should default to f32 (Windjammer convention), got:\n{}",
        output
    );
}

#[test]
fn test_vec_f64_explicit() {
    // let v: Vec<f64> = vec![1.0, 2.0, 3.0] → literals should be f64
    let source = r#"
fn test() {
    let v: Vec<f64> = vec![1.0, 2.0, 3.0]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f64") && output.contains("2.0_f64") && output.contains("3.0_f64"),
        "Vec<f64> = vec![1.0, 2.0, 3.0] should generate _f64, got:\n{}",
        output
    );
}

#[test]
fn test_array_f64_annotation() {
    // let a: [f64; 3] = [1.0, 2.0, 3.0] → literals should be f64
    let source = r#"
fn test() {
    let a: [f64; 3] = [1.0, 2.0, 3.0]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f64") && output.contains("2.0_f64") && output.contains("3.0_f64"),
        "[f64; 3] = [1.0, 2.0, 3.0] should generate _f64, got:\n{}",
        output
    );
}

#[test]
fn test_vec_repeat_with_f32() {
    // vec![1.0; 5] with Vec<f32>
    let source = r#"
fn test() {
    let v: Vec<f32> = vec![1.0; 5]
}
"#;
    let output = test_utils::compile_single(source);
    assert!(
        output.contains("1.0_f32"),
        "Vec<f32> = vec![1.0; 5] should generate 1.0_f32, got:\n{}",
        output
    );
}