Adding unify stub

2019-02-10 06:48:25 -08:00 · 2019-02-10 06:48:25 -08:00 · 5a70784346
commit 5a70784346
parent 0dff177e8f
1 changed files with 5 additions and 0 deletions
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@ -189,4 +189,9 @@ impl<'a> TypeContext<'a> {
      _ => Type::Const(TypeConst::Unit)
    })
  }
+
+
+  fn unify(&mut self, t1: &Type, t2: &Type) -> InferResult<Type> {
+    unimplemented!()
+  }
 }