From 513cb34eb51de1e7edc5b99b9dcb3f1c96d140cb Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Fri, 5 May 2023 12:22:36 +0200
Subject: [PATCH] back to inj

---
 src/TypeChecker/TypeCheckerHm.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index 24a8272..f4ec70a 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -335,7 +335,7 @@ algoW = \case
         case M.lookup (coerce i) constr of
             Just t -> do
                 t <- freshen t
-                return (nullSubst, (T.EVar $ coerce i, t))
+                return (nullSubst, (T.EInj $ coerce i, t))
             Nothing ->
                 uncatchableErr $ Aux.do
                     "Constructor:"