From 33ff36daad80e7de1b451b9a238490029c11ccde Mon Sep 17 00:00:00 2001
From: Folkert <folkert@folkertdev.nl>
Date: Mon, 19 Oct 2020 00:28:14 +0200
Subject: [PATCH] make things work by removing type signatures

---
 compiler/gen/tests/gen_primitives.rs | 7 +++----
 compiler/unify/src/unify.rs          | 2 +-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/compiler/gen/tests/gen_primitives.rs b/compiler/gen/tests/gen_primitives.rs
index 68e1fdfc89..d6d2359064 100644
--- a/compiler/gen/tests/gen_primitives.rs
+++ b/compiler/gen/tests/gen_primitives.rs
@@ -974,7 +974,6 @@ mod gen_primitives {
     }
 
     #[test]
-    #[ignore]
     fn io_poc_effect() {
         assert_evals_to!(
             indoc!(
@@ -983,13 +982,13 @@ mod gen_primitives {
 
                 Effect a : [ @Effect ({} -> a) ]
 
-                succeed : a -> Effect a
+                # succeed : a -> Effect a
                 succeed = \x -> @Effect \{} -> x
 
-                runEffect : Effect a -> a
+                # runEffect : Effect a -> a
                 runEffect = \@Effect thunk -> thunk {}
 
-                foo : Effect Float
+                # foo : Effect Float
                 foo =
                     succeed 3.14
 
diff --git a/compiler/unify/src/unify.rs b/compiler/unify/src/unify.rs
index 9cfa5a3d71..24b4f85918 100644
--- a/compiler/unify/src/unify.rs
+++ b/compiler/unify/src/unify.rs
@@ -180,7 +180,7 @@ fn unify_alias(
                     problems.extend(merge(subs, &ctx, other_content.clone()));
 
                     if problems.is_empty() {
-                        problems.extend(unify_pool(subs, pool, real_var, *other_real_var))
+                        problems.extend(unify_pool(subs, pool, real_var, *other_real_var));
                     }
 
                     problems