about summary refs log tree commit diff
path: root/tvix/eval/src/eval.rs
blob: 98e7520e8b2e8ccd3c96b8806f512671f8b18713 (plain) (blame)
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
use std::path::PathBuf;

use crate::{
    builtins::global_builtins,
    errors::{ErrorKind, EvalResult},
    value::Value,
};

pub fn interpret(code: &str, location: Option<PathBuf>) -> EvalResult<Value> {
    let mut codemap = codemap::CodeMap::new();
    let file = codemap.add_file(
        location
            .as_ref()
            .map(|p| p.to_string_lossy().to_string())
            .unwrap_or_else(|| "<repl>".into()),
        code.into(),
    );

    let parsed = rnix::ast::Root::parse(code);
    let errors = parsed.errors();

    if !errors.is_empty() {
        for err in errors {
            eprintln!("parse error: {}", err);
        }
        return Err(ErrorKind::ParseErrors(errors.to_vec()).into());
    }

    // If we've reached this point, there are no errors.
    let root_expr = parsed
        .tree()
        .expr()
        .expect("expression should exist if no errors occured");

    if std::env::var("TVIX_DISPLAY_AST").is_ok() {
        println!("{:?}", root_expr);
    }

    let result = crate::compiler::compile(root_expr, location, &file, global_builtins())?;

    #[cfg(feature = "disassembler")]
    crate::disassembler::disassemble_chunk(&result.lambda.chunk);

    for warning in result.warnings {
        eprintln!(
            "warning: {:?} at `{:?}`[{:?}]",
            warning.kind,
            warning.node.text(),
            warning.node.text_range().start()
        )
    }

    for error in &result.errors {
        eprintln!(
            "compiler error: {:?} at {:?}",
            error.kind,
            error.node.as_ref().map(|node| node.text())
        );
    }

    if let Some(err) = result.errors.last() {
        return Err(err.clone());
    }

    crate::vm::run_lambda(result.lambda)
}