From 1bba5facc7917d75c993117a72d7bd6f0982b02d Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Tue, 23 May 2023 22:34:21 +0200
Subject: [PATCH] Fix infix expressions returning invalid types

---
 src/Checker.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Checker.cc b/src/Checker.cc
index 86a6c8995..103b6eec1 100644
--- a/src/Checker.cc
+++ b/src/Checker.cc
@@ -693,7 +693,7 @@ namespace bolt {
           return createTypeVar();
         }
         auto OpTy = instantiate(Scm, Infix->Operator);
-        auto Ty = createTypeVar();
+        Ty = createTypeVar();
         std::vector<Type*> ArgTys;
         ArgTys.push_back(inferExpression(Infix->LHS));
         ArgTys.push_back(inferExpression(Infix->RHS));