brink-ir 0.0.17

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
49
50
51
52
53
54
55
56
57
58

//! Expression lowering phase.
//!
//! The [`LowerExpr`] trait is implemented on AST expression nodes. Each node
//! knows how to lower itself to an HIR [`Expr`], emitting diagnostics via
//! the [`LowerSink`] and registering unresolved references.

mod literals;
mod operators;
mod references;
mod sigils;
mod structs;

use brink_syntax::ast;

use crate::Expr;

use super::context::{LowerScope, LowerSink, Lowered};

// ─── Trait definition ───────────────────────────────────────────────

/// Extension trait for lowering AST expressions to HIR expressions.
///
/// Implemented on `brink_syntax::ast` expression types. Each impl is
/// self-contained: it lowers its own properties and recursively lowers
/// child expressions via the same trait.
pub trait LowerExpr {
    fn lower_expr(&self, scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr>;
}

// ─── Dispatch hub ───────────────────────────────────────────────────

impl LowerExpr for ast::Expr {
    fn lower_expr(&self, scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        match self {
            ast::Expr::IntegerLit(lit) => lit.lower_expr(scope, sink),
            ast::Expr::FloatLit(lit) => lit.lower_expr(scope, sink),
            ast::Expr::BooleanLit(lit) => lit.lower_expr(scope, sink),
            ast::Expr::StringLit(lit) => lit.lower_expr(scope, sink),
            ast::Expr::Path(path) => path.lower_expr(scope, sink),
            ast::Expr::Prefix(pe) => pe.lower_expr(scope, sink),
            ast::Expr::Infix(ie) => ie.lower_expr(scope, sink),
            ast::Expr::Postfix(pe) => pe.lower_expr(scope, sink),
            ast::Expr::Paren(pe) => pe.lower_expr(scope, sink),
            ast::Expr::FunctionCall(fc) => fc.lower_expr(scope, sink),
            ast::Expr::DivertTarget(dt) => dt.lower_expr(scope, sink),
            ast::Expr::ListExpr(le) => le.lower_expr(scope, sink),
            ast::Expr::ArrayLiteral(al) => al.lower_expr(scope, sink),
            ast::Expr::MapLiteral(ml) => ml.lower_expr(scope, sink),
            ast::Expr::Index(ie) => ie.lower_expr(scope, sink),
            ast::Expr::StructLiteral(sl) => sl.lower_expr(scope, sink),
            ast::Expr::FieldAccess(fa) => fa.lower_expr(scope, sink),
            ast::Expr::FnLiteral(fl) => fl.lower_expr(scope, sink),
            ast::Expr::RefExpr(re) => re.lower_expr(scope, sink),
            ast::Expr::ComputedCall(cc) => cc.lower_expr(scope, sink),
            ast::Expr::Range(re) => re.lower_expr(scope, sink),
        }
    }
}