lisette-semantics 0.2.14

Little language inspired by Rust that compiles to Go
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use diagnostics::LocalSink;
use syntax::ast::Expression;

pub(crate) fn run(typed_ast: &[Expression], sink: &LocalSink) {
    for item in typed_ast {
        visit_expression(item, sink);
    }
}

fn visit_expression(expression: &Expression, sink: &LocalSink) {
    if let Expression::Loop { body, span, .. } = expression
        && let Expression::Block { items, .. } = body.as_ref()
        && items.is_empty()
    {
        sink.push(diagnostics::infer::empty_infinite_loop(span));
    }

    for child in expression.children() {
        visit_expression(child, sink);
    }
}