105 lines
2.8 KiB
Rust
105 lines
2.8 KiB
Rust
use itertools::Itertools;
|
|
use schala_lib::{ProgrammingLanguageInterface, EvalOptions, TraceArtifact, LanguageOutput};
|
|
|
|
macro_rules! bx {
|
|
($e:expr) => { Box::new($e) }
|
|
}
|
|
|
|
mod builtin;
|
|
|
|
mod tokenizing;
|
|
mod parsing;
|
|
mod typechecking;
|
|
mod eval;
|
|
|
|
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")
|
|
}
|
|
|
|
fn evaluate_in_repl(&mut self, input: &str, options: &EvalOptions) -> LanguageOutput {
|
|
let mut output = LanguageOutput::default();
|
|
let tokens = tokenizing::tokenize(input);
|
|
if options.debug_tokens {
|
|
let token_string = tokens.iter().map(|t| format!("{:?}<L:{},C:{}>", t.token_type, t.offset.0, t.offset.1)).join(", ");
|
|
output.add_artifact(TraceArtifact::new("tokens", format!("{:?}", token_string)));
|
|
}
|
|
|
|
{
|
|
let token_errors: Vec<&String> = tokens.iter().filter_map(|t| t.get_error()).collect();
|
|
if token_errors.len() != 0 {
|
|
output.add_output(format!("Tokenization error: {:?}\n", token_errors));
|
|
output.failed = true;
|
|
return output;
|
|
}
|
|
}
|
|
|
|
let ast = match parsing::parse(tokens) {
|
|
(Ok(ast), trace) => {
|
|
if options.debug_parse {
|
|
output.add_artifact(TraceArtifact::new_parse_trace(trace));
|
|
output.add_artifact(TraceArtifact::new("ast", format!("{:?}", ast)));
|
|
}
|
|
ast
|
|
},
|
|
(Err(err), trace) => {
|
|
output.add_artifact(TraceArtifact::new_parse_trace(trace));
|
|
output.add_output(format!("Parse error: {:?}\n", err.msg));
|
|
output.failed = true;
|
|
return output;
|
|
}
|
|
};
|
|
|
|
match self.type_context.add_top_level_types(&ast) {
|
|
Ok(()) => (),
|
|
Err(msg) => {
|
|
output.add_artifact(TraceArtifact::new("type_check", msg));
|
|
//return output
|
|
}
|
|
};
|
|
|
|
if options.debug_symbol_table {
|
|
let text = self.type_context.debug_symbol_table();
|
|
output.add_artifact(TraceArtifact::new("symbol_table", text));
|
|
}
|
|
|
|
match self.type_context.type_check_ast(&ast) {
|
|
Ok(ty) => {
|
|
output.add_artifact(TraceArtifact::new("type_check", format!("{:?}", ty)));
|
|
},
|
|
Err(msg) => {
|
|
output.add_artifact(TraceArtifact::new("type_check", msg));
|
|
/*
|
|
output.add_output(format!("Type error"));
|
|
return output;
|
|
*/
|
|
}
|
|
}
|
|
|
|
let evaluation_outputs = self.state.evaluate(ast);
|
|
let text_output: String = evaluation_outputs.into_iter().intersperse(format!("\n")).collect();
|
|
output.add_output(text_output);
|
|
return output;
|
|
}
|
|
}
|