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

//! Loop detection and analysis helpers (variable use / dependency checks).

use crate::parser::{Expression, Pattern, Statement};

/// Check if an expression uses a specific variable
pub(in crate::optimizer) fn expression_uses_variable<'ast>(
    expr: &'ast Expression<'ast>,
    var_name: &str,
) -> bool {
    match expr {
        Expression::Identifier { name, .. } => name == var_name,
        Expression::Binary { left, right, .. } => {
            expression_uses_variable(left, var_name) || expression_uses_variable(right, var_name)
        }
        Expression::Unary { operand, .. } => expression_uses_variable(operand, var_name),
        Expression::Call {
            function,
            arguments,
            ..
        } => {
            expression_uses_variable(function, var_name)
                || arguments
                    .iter()
                    .any(|(_, arg)| expression_uses_variable(arg, var_name))
        }
        Expression::MethodCall {
            object, arguments, ..
        } => {
            expression_uses_variable(object, var_name)
                || arguments
                    .iter()
                    .any(|(_, arg)| expression_uses_variable(arg, var_name))
        }
        Expression::Index { object, index, .. } => {
            expression_uses_variable(object, var_name) || expression_uses_variable(index, var_name)
        }
        Expression::FieldAccess { object, .. } => expression_uses_variable(object, var_name),
        Expression::Cast { expr, .. } => expression_uses_variable(expr, var_name),
        Expression::Tuple { elements, .. } => elements
            .iter()
            .any(|e| expression_uses_variable(e, var_name)),
        Expression::StructLiteral { fields, .. } => fields
            .iter()
            .any(|(_, v)| expression_uses_variable(v, var_name)),
        Expression::Range { start, end, .. } => {
            expression_uses_variable(start, var_name) || expression_uses_variable(end, var_name)
        }
        Expression::Closure { body, .. } => expression_uses_variable(body, var_name),
        Expression::Block { statements, .. } => statements
            .iter()
            .any(|s| statement_uses_variable(s, var_name)),
        Expression::ChannelSend { channel, value, .. } => {
            expression_uses_variable(channel, var_name) || expression_uses_variable(value, var_name)
        }
        Expression::ChannelRecv { channel, .. } => expression_uses_variable(channel, var_name),
        Expression::Await { expr, .. } | Expression::TryOp { expr, .. } => {
            expression_uses_variable(expr, var_name)
        }
        Expression::MacroInvocation { args, .. } => {
            args.iter().any(|a| expression_uses_variable(a, var_name))
        }
        _ => false,
    }
}

/// Check if a statement uses a specific variable
pub(in crate::optimizer) fn statement_uses_variable<'ast>(
    stmt: &'ast Statement<'ast>,
    var_name: &str,
) -> bool {
    match stmt {
        Statement::Expression { expr, .. }
        | Statement::Return {
            value: Some(expr), ..
        } => expression_uses_variable(expr, var_name),
        Statement::Let { value, .. } => expression_uses_variable(value, var_name),
        Statement::Assignment { target, value, .. } => {
            expression_uses_variable(target, var_name) || expression_uses_variable(value, var_name)
        }
        Statement::If {
            condition,
            then_block,
            else_block,
            ..
        } => {
            expression_uses_variable(condition, var_name)
                || then_block
                    .iter()
                    .any(|s| statement_uses_variable(s, var_name))
                || else_block
                    .as_ref()
                    .is_some_and(|stmts| stmts.iter().any(|s| statement_uses_variable(s, var_name)))
        }
        Statement::While {
            condition, body, ..
        } => {
            expression_uses_variable(condition, var_name)
                || body.iter().any(|s| statement_uses_variable(s, var_name))
        }
        Statement::For {
            pattern,
            iterable,
            body,
            ..
        } => {
            // If this is a nested loop with the same variable, it shadows the outer one
            // For tuple patterns, we're conservative and assume it might shadow
            let shadows = match pattern {
                Pattern::Identifier(var) => var == var_name,
                Pattern::Tuple(_) => true, // Conservative: assume tuple might contain the variable
                _ => false,
            };
            if shadows {
                return false;
            }
            expression_uses_variable(iterable, var_name)
                || body.iter().any(|s| statement_uses_variable(s, var_name))
        }
        Statement::Match { value, arms, .. } => {
            expression_uses_variable(value, var_name)
                || arms.iter().any(|arm| {
                    arm.guard
                        .as_ref()
                        .is_some_and(|g| expression_uses_variable(g, var_name))
                        || expression_uses_variable(arm.body, var_name)
                })
        }
        _ => false,
    }
}