brink-ir 0.0.3

Intermediate representations for inkle's ink narrative scripting language
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

//! Literal expression lowering: integers, floats, booleans, strings.

use brink_syntax::ast::{self, AstNode};

use crate::{DiagnosticCode, Expr, FloatBits};

use super::super::context::{LowerScope, LowerSink, Lowered};
use super::super::helpers::lower_string_lit;
use super::LowerExpr;

// ─── Literals ───────────────────────────────────────────────────────

impl LowerExpr for ast::IntegerLit {
    fn lower_expr(&self, _scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        let range = self.syntax().text_range();
        #[expect(clippy::cast_possible_truncation, reason = "ink integers are 32-bit")]
        match self.value() {
            Some(v) => Ok(Expr::Int(v as i32)),
            None => Err(sink.diagnose(range, DiagnosticCode::E015)),
        }
    }
}

impl LowerExpr for ast::FloatLit {
    fn lower_expr(&self, _scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        let range = self.syntax().text_range();
        match self.value() {
            Some(v) => Ok(Expr::Float(FloatBits::from_f64(v))),
            None => Err(sink.diagnose(range, DiagnosticCode::E015)),
        }
    }
}

impl LowerExpr for ast::BooleanLit {
    fn lower_expr(&self, _scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        let range = self.syntax().text_range();
        match self.value() {
            Some(v) => Ok(Expr::Bool(v)),
            None => Err(sink.diagnose(range, DiagnosticCode::E015)),
        }
    }
}

impl LowerExpr for ast::StringLit {
    fn lower_expr(&self, scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        Ok(Expr::String(lower_string_lit(self, scope, sink)))
    }
}