schala/src/schala_lang/mod.rs

92 lines
2.6 KiB
Rust
Raw Normal View History

use itertools::Itertools;
2018-03-19 22:57:54 -07:00
use schala_lib::{ProgrammingLanguageInterface, EvalOptions, TraceArtifact, LanguageOutput, UnfinishedComputation, FinishedComputation};
macro_rules! bx {
($e:expr) => { Box::new($e) }
}
mod builtin;
mod tokenizing;
mod parsing;
2018-02-21 02:31:28 -08:00
mod typechecking;
mod eval;
2018-03-19 22:57:54 -07:00
2018-02-21 02:31:28 -08:00
use self::typechecking::{TypeContext};
pub struct Schala {
state: eval::State<'static>,
type_context: TypeContext
}
impl Schala {
pub fn new() -> Schala {
Schala {
state: eval::State::new(),
type_context: TypeContext::new(),
}
}
}
impl ProgrammingLanguageInterface for Schala {
fn get_language_name(&self) -> String {
"Schala".to_string()
}
fn get_source_file_suffix(&self) -> String {
format!("schala")
}
2018-03-19 22:57:54 -07:00
fn repl_evaluate(&mut self, input: &str, options: &EvalOptions) -> FinishedComputation {
let mut evaluation = UnfinishedComputation::default();
//tokenzing
let tokens = tokenizing::tokenize(input);
2018-03-19 22:57:54 -07:00
let token_string = tokens.iter().map(|t| format!("{:?}<L:{},C:{}>", t.token_type, t.offset.0, t.offset.1)).join(", ");
evaluation.add_artifact(TraceArtifact::new("tokens", token_string));
{
let token_errors: Vec<&String> = tokens.iter().filter_map(|t| t.get_error()).collect();
if token_errors.len() != 0 {
2018-03-19 22:57:54 -07:00
return evaluation.output(Err(format!("Tokenization error: {:?}\n", token_errors)));
}
}
2018-03-19 22:57:54 -07:00
// parsing
let ast = match parsing::parse(tokens) {
(Ok(ast), trace) => {
2018-03-19 22:57:54 -07:00
evaluation.add_artifact(TraceArtifact::new_parse_trace(trace));
evaluation.add_artifact(TraceArtifact::new("ast", format!("{:?}", ast)));
ast
},
(Err(err), trace) => {
2018-03-19 22:57:54 -07:00
evaluation.add_artifact(TraceArtifact::new_parse_trace(trace));
return evaluation.output(Err(format!("Parse error: {:?}\n", err.msg)));
}
};
2018-03-19 22:57:54 -07:00
//symbol table
2018-02-27 03:01:05 -08:00
match self.type_context.add_top_level_types(&ast) {
Ok(()) => (),
Err(msg) => {
2018-03-19 22:57:54 -07:00
evaluation.add_artifact(TraceArtifact::new("type_check", msg));
2018-02-27 03:01:05 -08:00
}
};
2018-03-19 22:57:54 -07:00
//typechecking
2018-02-21 02:31:28 -08:00
match self.type_context.type_check_ast(&ast) {
2018-03-19 22:57:54 -07:00
Ok(ty) => evaluation.add_artifact(TraceArtifact::new("type_check", format!("{:?}", ty))),
Err(msg) => evaluation.add_artifact(TraceArtifact::new("type_check", msg)),
};
let text = self.type_context.debug_symbol_table();
evaluation.add_artifact(TraceArtifact::new("symbol_table", text));
2018-02-21 02:31:28 -08:00
2018-01-08 05:21:04 -08:00
let evaluation_outputs = self.state.evaluate(ast);
let text_output: String = evaluation_outputs.into_iter().intersperse(format!("\n")).collect();
2018-03-19 22:57:54 -07:00
evaluation.output(Ok(text_output))
}
}