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

#![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: E0614 Entity "cannot be dereferenced" fix
//!
//! Fixes: entity::Entity cannot be dereferenced when entity comes from:
//! - for (entity, mesh, transform) in entities { render_mesh(entity, ...) }
//! - for entity in entities { process(entity) } where Entity is Copy
//!
//! Root cause: Entity (ecs/entity.wj) has @derive(Copy). When we add * for "reference coercion",
//! we wrongly dereference owned Entity. Fix: is_known_copy_type("Entity") + tuple pattern
//! local_var_types population.

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

/// Entity with @derive(Copy) - like ecs/entity.wj
#[test]
fn test_entity_tuple_pattern_no_deref() {
    // for (entity, mesh, transform) in entities { render_mesh(entity, ...) }
    // entity is Entity (Copy) - must NOT generate *(entity)
    let source = r#"
@derive(Copy, Clone, Debug)
pub struct Entity {
    pub index: i64,
    pub generation: i64,
}

pub struct Mesh {}
pub struct Transform {}

pub fn render_mesh(entity: Entity, mesh: Mesh, transform: Transform) {
}

pub fn run_rendering(entities: Vec<(Entity, Mesh, Transform)>) {
    for (entity, mesh, transform) in entities {
        render_mesh(entity, mesh, transform)
    }
}

pub fn main() {}
"#;
    let (rs, compiles) = test_utils::compile_single_check(source);
    assert!(compiles, "Should compile. Generated:\n{}", rs);
    assert!(
        !rs.contains("*(entity)"),
        "Should NOT add *(entity) for Copy Entity from tuple pattern. Generated:\n{}",
        rs
    );
}

/// Simple for loop with Entity
#[test]
fn test_entity_simple_loop_no_deref() {
    // for entity in entities { process(entity) } where Entity is Copy
    let source = r#"
@derive(Copy, Clone, Debug)
pub struct Entity {
    pub index: i64,
}

pub fn process(entity: Entity) {
}

pub fn process_all(entities: Vec<Entity>) {
    for entity in entities {
        process(entity)
    }
}

pub fn main() {}
"#;
    let (rs, compiles) = test_utils::compile_single_check(source);
    assert!(compiles, "Should compile. Generated:\n{}", rs);
    assert!(
        !rs.contains("*(entity)"),
        "Should NOT add *(entity) for Copy Entity from simple loop. Generated:\n{}",
        rs
    );
}

/// E0614: User writes *entity - compiler strips * when entity is owned Copy
#[test]
fn test_entity_explicit_deref_stripped_when_copy() {
    // result.push(*entity) where entity from for entity in vec, Entity is Copy
    // Compiler should emit result.push(entity) - * causes E0614 on owned Copy
    let source = r#"
@derive(Copy, Clone, Debug, PartialEq)
pub struct Entity {
    pub index: i64,
}

pub fn collect_all(entities: Vec<Entity>) -> Vec<Entity> {
    let mut result = Vec::new()
    for entity in entities {
        result.push(*entity)
    }
    result
}

pub fn main() {}
"#;
    let (rs, compiles) = test_utils::compile_single_check(source);
    assert!(
        compiles,
        "Should compile. *entity should be stripped when Entity is Copy. Generated:\n{}",
        rs
    );
    assert!(
        !rs.contains("push(*entity)"),
        "Should NOT generate push(*entity) for owned Copy - causes E0614. Generated:\n{}",
        rs
    );
}