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

Fix bug in TApp case of Type::hasTypeVar()

Browse source
This commit is contained in:
Sam Vervaeck 2023-06-03 11:20:22 +02:00
parent ebfcb2a2eb
commit eef23feb1c
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Types.cc
View file

@ -241,7 +241,7 @@ namespace bolt {
case TypeKind::App: case TypeKind::App:
{ {
auto App = static_cast<TApp*>(this); auto App = static_cast<TApp*>(this);
return App->Op->hasTypeVar(TV) && App->Arg->hasTypeVar(TV); return App->Op->hasTypeVar(TV) || App->Arg->hasTypeVar(TV);
} }
case TypeKind::TupleIndex: case TypeKind::TupleIndex:
{ {