rue-compiler 0.8.4

A compiler for the Rue programming 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

mod binary;
mod cast;
mod field_access;
mod function_call;
mod group;
mod guard;
mod if_expr;
mod lambda;
mod list;
mod literal;
mod pair;
mod path;
mod prefix;
mod struct_initializer;

pub use binary::*;
pub use cast::*;
pub use field_access::*;
pub use function_call::*;
pub use group::*;
pub use guard::*;
pub use if_expr::*;
pub use lambda::*;
pub use list::*;
pub use literal::*;
pub use pair::*;
pub use path::*;
pub use prefix::*;
pub use struct_initializer::*;

use rue_ast::{AstExpr, AstNode};
use rue_hir::Value;
use rue_types::TypeId;

use crate::{Compiler, CompletionContext, SyntaxItemKind, compile_block};

pub fn compile_expr(ctx: &mut Compiler, expr: &AstExpr, expected_type: Option<TypeId>) -> Value {
    ctx.add_syntax(
        SyntaxItemKind::CompletionContext(CompletionContext::Expression),
        expr.syntax().text_range(),
    );

    match expr {
        AstExpr::PathExpr(expr) => compile_path_expr(ctx, expr),
        AstExpr::StructInitializerExpr(expr) => compile_struct_initializer_expr(ctx, expr),
        AstExpr::LiteralExpr(expr) => compile_literal_expr(ctx, expr),
        AstExpr::GroupExpr(expr) => compile_group_expr(ctx, expr, expected_type),
        AstExpr::PairExpr(expr) => compile_pair_expr(ctx, expr, expected_type),
        AstExpr::ListExpr(expr) => compile_list_expr(ctx, expr, expected_type),
        AstExpr::PrefixExpr(expr) => compile_prefix_expr(ctx, expr),
        AstExpr::BinaryExpr(expr) => compile_binary_expr(ctx, expr),
        AstExpr::FunctionCallExpr(expr) => compile_function_call_expr(ctx, expr),
        AstExpr::IfExpr(expr) => compile_if_expr(ctx, expr, expected_type),
        AstExpr::GuardExpr(expr) => compile_guard_expr(ctx, expr),
        AstExpr::CastExpr(expr) => compile_cast_expr(ctx, expr),
        AstExpr::FieldAccessExpr(expr) => compile_field_access_expr(ctx, expr),
        AstExpr::LambdaExpr(expr) => compile_lambda_expr(ctx, expr, expected_type),
        AstExpr::Block(block) => compile_block(ctx, block, true, expected_type, true),
    }
}