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

Lol just get rid of all the old code, start from scratch again

Browse Source
This commit is contained in:
greg 2018-05-16 01:01:30 -07:00
parent 808a1bfc98
commit f48a25779c
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -148,12 +148,14 @@ impl TypeContext {
output output
} }
pub fn type_check_ast(&mut self, ast: &parsing::AST) -> TypeResult<Type> { pub fn type_check_ast(&mut self, ast: &parsing::AST) -> TypeResult<String> {
let ref block = ast.0; let ref block = ast.0;
Ok(self.infer_block(block)?) //Ok(self.infer_block(block)?)
Ok(format!("Nothin' b/c redoing typechecking"))
} }
} }
/*
impl TypeContext { impl TypeContext {
fn infer_block(&mut self, statements: &Vec<parsing::Statement>) -> TypeResult<Type> { fn infer_block(&mut self, statements: &Vec<parsing::Statement>) -> TypeResult<Type> {
let mut ret_type = Type::Const(TConst::Unit); let mut ret_type = Type::Const(TConst::Unit);
@ -259,4 +261,5 @@ impl TypeContext {
} }
} }
} }
*/