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

Fix infix expressions returning invalid types

Browse source
This commit is contained in:
Sam Vervaeck 2023-05-23 22:34:21 +02:00
parent 7024b8790d
commit 1bba5facc7
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/Checker.cc
View file

@ -693,7 +693,7 @@ namespace bolt {
return createTypeVar(); return createTypeVar();
} }
auto OpTy = instantiate(Scm, Infix->Operator); auto OpTy = instantiate(Scm, Infix->Operator);
auto Ty = createTypeVar(); Ty = createTypeVar();
std::vector<Type*> ArgTys; std::vector<Type*> ArgTys;
ArgTys.push_back(inferExpression(Infix->LHS)); ArgTys.push_back(inferExpression(Infix->LHS));
ArgTys.push_back(inferExpression(Infix->RHS)); ArgTys.push_back(inferExpression(Infix->RHS));