From 9af655c07215e44bd835c12937abaacd1d7a5e27 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Wed, 10 Jul 2024 09:39:40 +0200
Subject: [PATCH] Fix crash when a reference to an unbound var is checked

---
 src/Checker.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Checker.cc b/src/Checker.cc
index 591c540cc..3da4d287b 100644
--- a/src/Checker.cc
+++ b/src/Checker.cc
@@ -340,10 +340,10 @@ ConstraintSet Checker::inferMany(TypeEnv& Env, std::vector<Node*>& Elements, Typ
       Node* From;
       void visitReferenceExpression(ReferenceExpression* E) {
         auto To = E->getScope()->lookup(E->getSymbolPath());
-        if (isa<Parameter>(To)) {
-          To = To->Parent;
-        }
         if (To != nullptr) {
+          if (isa<Parameter>(To)) {
+            To = To->Parent;
+          }
           G.add_edge(From, To);
         }
       }