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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

//! TM-4b struct expression lowering: construction literals + field access
//! (docs/typed-mode-spec.md §6).
//!
//! Structural AST→HIR lowering only — dialect-agnostic, mirrors
//! `expr::sigils`. Whether the construct is *allowed* is
//! `brink-analyzer::dialect_gate`'s job (E051); whether a construction's
//! fields are complete/well-typed is `brink-analyzer`'s strict-mode
//! construction check, not this module's.

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

use crate::provenance::NodeClass;

use crate::hir::types::{FieldAccessExpr, StructLiteral};
use crate::{DiagnosticCode, Expr};

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

impl LowerExpr for ast::StructLiteral {
    fn lower_expr(&self, scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        let range = self.syntax().text_range();
        let ident = self
            .identifier()
            .ok_or_else(|| sink.diagnose(range, DiagnosticCode::E017))?;
        let shape_name_text = ident
            .name()
            .ok_or_else(|| sink.diagnose(range, DiagnosticCode::E017))?;
        let shape_range = ident.syntax().text_range();
        let shape = make_name(shape_name_text, shape_range);

        let mut fields = Vec::new();
        for f in self.fields() {
            let f_range = f.syntax().text_range();
            let f_ident = f
                .identifier()
                .ok_or_else(|| sink.diagnose(f_range, DiagnosticCode::E017))?;
            let f_name = name_from_ident(&f_ident)
                .ok_or_else(|| sink.diagnose(f_range, DiagnosticCode::E017))?;
            let value = f
                .value()
                .ok_or_else(|| sink.diagnose(f_range, DiagnosticCode::E015))
                .and_then(|v| v.lower_expr(scope, sink))?;
            fields.push((f_name, value));
        }

        Ok(Expr::StructLiteral(StructLiteral {
            ptr: scope.prov(NodeClass::StructLiteral, self.syntax()),
            shape,
            fields,
        }))
    }
}

impl LowerExpr for ast::FieldAccessExpr {
    fn lower_expr(&self, scope: &LowerScope, sink: &mut impl LowerSink) -> Lowered<Expr> {
        let range = self.syntax().text_range();
        let base = self
            .base()
            .ok_or_else(|| sink.diagnose(range, DiagnosticCode::E015))
            .and_then(|e| e.lower_expr(scope, sink))?;
        let field_ident = self
            .field()
            .ok_or_else(|| sink.diagnose(range, DiagnosticCode::E017))?;
        let field = name_from_ident(&field_ident)
            .ok_or_else(|| sink.diagnose(range, DiagnosticCode::E017))?;
        Ok(Expr::FieldAccess(FieldAccessExpr {
            ptr: scope.prov(NodeClass::FieldAccess, self.syntax()),
            base: Box::new(base),
            field,
        }))
    }
}