From 5a70784346e99591ef27ac34e92333d1fb688ccc Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Sun, 10 Feb 2019 06:48:25 -0800
Subject: [PATCH] Adding unify stub

---
 schala-lang/language/src/typechecking.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 7a71f3e..c392086 100644
--- 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!()
+  }
 }