about summary refs log tree commit diff
path: root/users/grfn/achilles/src/commands/eval.rs
use clap::Clap;

use crate::codegen;
use crate::interpreter;
use crate::parser;
use crate::tc;
use crate::Result;

/// Evaluate an expression and print its result
#[derive(Clap)]
pub struct Eval {
    /// JIT-compile with LLVM instead of interpreting
    #[clap(long)]
    jit: bool,

    /// Expression to evaluate
    expr: String,
}

impl Eval {
    pub fn run(self) -> Result<()> {
        let (_, parsed) = parser::expr(&self.expr)?;
        let hir = tc::typecheck_expr(parsed)?;
        let result = if self.jit {
            codegen::jit_eval::<i64>(&hir)?.into()
        } else {
            interpreter::eval(&hir)?
        };
        println!("{}", result);
        Ok(())
    }
}