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

Unify work

This commit is contained in:
greg 2017-10-11 02:03:50 -07:00
parent f6c85951fe
commit ab53c5394e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/schala_lang/type_check.rs
View File

@ -345,6 +345,11 @@ impl TypeContext {
match (&t1, &t2) {
(&TConst(ref c1), &TConst(ref c2)) if c1 == c2 => Ok(TConst(c1.clone())),
(&TFunc(ref t1, ref t2), &TFunc(ref t3, ref t4)) => {
let t5 = self.unify(*t1.clone().clone(), *t3.clone().clone())?;
let t6 = self.unify(*t2.clone().clone(), *t4.clone().clone())?;
Ok(TFunc(Box::new(t5), Box::new(t6)))
},
_ => Err(format!("Types {:?} and {:?} don't unify", t1, t2))
}
}