greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Back to including typechecking code in pipeline

Browse Source
This commit is contained in:
greg 2018-05-20 20:58:56 -07:00
parent 7a2a4df297
commit ba4185b0fb
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
schala-lang/src/lib.rs
View File

@ -89,8 +89,7 @@ fn symbol_table(handle: &mut Schala, input: parsing::AST, comp: Option<&mut Unfi
}
fn typechecking(handle: &mut Schala, input: parsing::AST, comp: Option<&mut UnfinishedComputation>) -> Result<parsing::AST, String> {
/*
match handle.type_context.borrow_mut().type_check_ast(&input) {
match handle.type_context.type_check_ast(&input) {
Ok(ty) => {
comp.map(|comp| comp.add_artifact(TraceArtifact::new("type_check", format!("{:?}", ty))));
Ok(input)
@ -100,8 +99,6 @@ fn typechecking(handle: &mut Schala, input: parsing::AST, comp: Option<&mut Unfi
Ok(input)
}
}
*/
Ok(input)
}
fn ast_reducing(_handle: &mut Schala, input: parsing::AST, comp: Option<&mut UnfinishedComputation>) -> Result<ast_reducing::ReducedAST, String> {

9
schala-lang/src/typechecking.rs
View File

@ -139,6 +139,15 @@ impl TypeEnvironment {
}
}
impl TypeContext {
pub fn type_check_ast(&mut self, ast: &parsing::AST) -> TypeResult<String> {
Ok(format!("SUCKA"))
}
}
/* TODO this should just check the name against a map, and that map should be pre-populated with
* types */
/*