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

Typechecking shouldn't fail yet

Browse Source
This commit is contained in:
greg 2018-11-09 02:02:08 -08:00
parent bc80c8f9ad
commit ff0294c56e
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
schala-lang/language/src/lib.rs
View File

@ -129,15 +129,14 @@ fn symbol_table(handle: &mut Schala, input: ast::AST, comp: Option<&mut Unfinish
} }
fn typechecking(handle: &mut Schala, input: ast::AST, comp: Option<&mut UnfinishedComputation>) -> Result<ast::AST, String> { fn typechecking(handle: &mut Schala, input: ast::AST, comp: Option<&mut UnfinishedComputation>) -> Result<ast::AST, String> {
let result = handle.type_context.typecheck(&input);
handle.type_context.typecheck(&input).map(|ty| { comp.map(|comp| {
comp.map(|comp| { let artifact = TraceArtifact::new("type", format!("{:?}", result));
let artifact = TraceArtifact::new("type", ty); comp.add_artifact(artifact);
comp.add_artifact(artifact); });
});
input Ok(input)
})
} }
fn ast_reducing(handle: &mut Schala, input: ast::AST, comp: Option<&mut UnfinishedComputation>) -> Result<reduced_ast::ReducedAST, String> { fn ast_reducing(handle: &mut Schala, input: ast::AST, comp: Option<&mut UnfinishedComputation>) -> Result<reduced_ast::ReducedAST, String> {