lisette-semantics 0.2.16

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
22
23
24
25
26
27
28
29
30
31
32

use diagnostics::LocalSink;
use syntax::ast::{Expression, UnaryOperator};

pub(crate) fn check(expression: &Expression, sink: &LocalSink) {
    if let Expression::Range {
        start: Some(start),
        end: Some(end),
        span,
        ..
    } = expression
        && let Some(start_value) = signed_integer_literal(start.unwrap_parens())
        && let Some(end_value) = signed_integer_literal(end.unwrap_parens())
        && start_value > end_value
    {
        sink.push(diagnostics::infer::empty_range(span));
    }
}

fn signed_integer_literal(expression: &Expression) -> Option<i128> {
    if let Some(value) = expression.as_integer() {
        return Some(value as i128);
    }
    if let Expression::Unary {
        operator: UnaryOperator::Negative,
        expression,
        ..
    } = expression
    {
        return expression.as_integer().map(|value| -(value as i128));
    }
    None
}