samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Fix crash when a reference to an unbound var is checked

Browse source
This commit is contained in:
Sam Vervaeck 2024-07-10 09:39:40 +02:00
parent c98f47b564
commit 9af655c072
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/Checker.cc
View file

@ -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);
}
}