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

Start handling function case

Browse Source
This commit is contained in:
greg 2018-05-21 20:57:51 -07:00
parent 887ba46b0b
commit d040d76bfa
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -242,12 +242,20 @@ impl<'a> Infer<'a> {
fn infer_declaration(&mut self, decl: &parsing::Declaration) -> InferResult<MonoType> { fn infer_declaration(&mut self, decl: &parsing::Declaration) -> InferResult<MonoType> {
use parsing::Declaration::*; use parsing::Declaration::*;
use parsing::Signature;
match decl { match decl {
Binding { name, expr, .. } => { Binding { name, expr, .. } => {
let tau: MonoType = self.infer_expression(&expr)?; let tau: MonoType = self.infer_expression(&expr)?;
let sigma = self.generalize(tau); let sigma = self.generalize(tau);
self.env.extend(name, sigma); self.env.extend(name, sigma);
}, },
FuncDecl(Signature { name, params, type_anno }, block) => {
//TODO fill in here
return Err(InferError::Custom(format!("This decl not yet supported")))
},
_ => return Err(InferError::Custom(format!("This decl not yet supported"))) _ => return Err(InferError::Custom(format!("This decl not yet supported")))
} }
Ok(MonoType::Const(TypeConst::Unit)) Ok(MonoType::Const(TypeConst::Unit))