about summary refs log blame commit diff
path: root/users/glittershark/achilles/src/commands/eval.rs
blob: 61a712c08a8ef25ab6419c5cfe1e998a45c2016d (plain) (tree)
1
2
3
4
5
6




                       
              















                                                     
                                              
                                  
                                                  
                
                                    




                               
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(())
    }
}