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

#![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: Duplicate struct basenames across modules (e.g. two `CharacterController` types).
//! Unqualified registry lookup returns None → `self.field` did not constrain float literals → E0308 (f32 vs f64).
//!
//! Fix: resolve `self` fields via `current_file_module_path::TypeName` first; push/pop path in nested `mod`.

use windjammer::parser::ast::types::Type;
use windjammer::*;

#[test]
fn test_self_field_float_disambiguated_by_module_path() {
    let source = r#"
mod alpha {
    pub struct Widget {
        pub rate: f32,
    }

    impl Widget {
        pub fn decay(self) {
            let _ = 1.0 - self.rate
        }
    }
}

mod beta {
    pub struct Widget {
        pub rate: f32,
    }

    impl Widget {
        pub fn decay(self) {
            let _ = 2.0 - self.rate
        }
    }
}
"#;

    let mut lexer = lexer::Lexer::new(source);
    let tokens = lexer.tokenize_with_locations();
    let mut parser = parser::Parser::new(tokens);
    let program = parser.parse().expect("parse");

    let mut float_inference = type_inference::FloatInference::new();
    float_inference.infer_program(&program);

    assert!(
        float_inference.errors.is_empty(),
        "float inference errors: {:?}",
        float_inference.errors
    );

    let mut analyzer = analyzer::Analyzer::new();
    let (analyzed, signatures, trait_methods) =
        analyzer.analyze_program(&program).expect("analyze");

    let mut generator = codegen::CodeGenerator::new(signatures, CompilationTarget::Rust);
    generator.set_float_inference(float_inference);
    generator.set_analyzed_trait_methods(trait_methods);
    let rust = generator.generate_program(&program, &analyzed);

    assert!(
        rust.contains("1.0_f32") && rust.contains("2.0_f32"),
        "literals next to self.rate must be f32; got:\n{}",
        rust
    );
    assert!(
        !rust.contains("1.0_f64") && !rust.contains("2.0_f64"),
        "must not default to f64 when self field is f32; got:\n{}",
        rust
    );
}

#[test]
fn test_file_module_path_qualifies_impl_self_fields() {
    let source = r#"
pub struct DupName {
    pub v: f32,
}

impl DupName {
    pub fn mix(self) {
        let _ = 1.0 - self.v
    }
}
"#;

    let mut lexer = lexer::Lexer::new(source);
    let tokens = lexer.tokenize_with_locations();
    let mut parser = parser::Parser::new(tokens);
    let program = parser.parse().expect("parse");

    let mut float_inference = type_inference::FloatInference::new();
    // Same layout as library compile: file `foo/bar.wj` → ["foo", "bar"]
    float_inference.set_current_file_module_path(vec!["foo".to_string(), "bar".to_string()]);

    // Another `DupName` elsewhere makes basename lookup ambiguous (dogfood pattern).
    let mut other_fields = std::collections::HashMap::new();
    other_fields.insert("v".to_string(), Type::Custom("f32".to_string()));
    let mut extra = std::collections::HashMap::new();
    extra.insert("other::DupName".to_string(), other_fields);
    float_inference.set_global_struct_field_types(&extra);

    float_inference.infer_program(&program);

    assert!(
        float_inference.errors.is_empty(),
        "float inference errors: {:?}",
        float_inference.errors
    );

    let mut analyzer = analyzer::Analyzer::new();
    let (analyzed, signatures, trait_methods) =
        analyzer.analyze_program(&program).expect("analyze");

    let mut generator = codegen::CodeGenerator::new(signatures, CompilationTarget::Rust);
    generator.set_float_inference(float_inference);
    generator.set_analyzed_trait_methods(trait_methods);
    let rust = generator.generate_program(&program, &analyzed);

    assert!(
        rust.contains("1.0_f32"),
        "expected qualified-module self field to pin f32 literal; got:\n{}",
        rust
    );
    assert!(
        !rust.contains("1.0_f64"),
        "must not emit f64 for f32 field op; got:\n{}",
        rust
    );
}