From 0adc761e7249ce9edde00e0ba7e41dc2f3252d37 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Sun, 11 Nov 2018 02:48:51 -0800
Subject: [PATCH] Kill an unimplemented!()

---
 schala-lang/language/src/typechecking.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/schala-lang/language/src/typechecking.rs b/schala-lang/language/src/typechecking.rs
index 95ba5ec..a0be1af 100644
--- a/schala-lang/language/src/typechecking.rs
+++ b/schala-lang/language/src/typechecking.rs
@@ -57,7 +57,7 @@ impl Type<TVar> {
   fn skolemize(&self) -> Type<UVar> {
     match self {
       Type::Var(TVar::Univ(uvar)) => Type::Var(uvar.clone()),
-      Type::Var(TVar::Exist(evar)) => unimplemented!(),
+      Type::Var(TVar::Exist(evar)) => Type::Var(UVar(Rc::new(format!("sk")))),
       Type::Const(ref c) => Type::Const(c.clone()),
       Type::Arrow(a, b) => Type::Arrow(
         Box::new(a.skolemize()),