From 9e6fe454ce8fde57a6b123a1d951f4eb690db738 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Tue, 28 Mar 2023 17:57:44 +0200
Subject: [PATCH] reverted back to most close to correct version

---
 src/TypeChecker/TypeCheckerHm.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index 13716cd..5208e7a 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -97,8 +97,8 @@ checkBind (Bind name args e) = do
     s <- gets sigs
     case M.lookup (coerce name) s of
         Just (Just t') -> do
-            sab <- unify t' lambda_t
-            let fsig = apply (sab `compose` sub0) t'
+            -- \| TODO: Fix, this is not correct
+            let fsig = apply sub0 t'
             sub1 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq fsig lambda_t) mempty
             sub2 <- liftEither $ runIdentity $ runExceptT $ execStateT (typeEq lambda_t fsig) mempty
             unless