teascade/c-compiler
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix bug with parameter typechecking

Browse Source
This commit is contained in:
Sofia 2026-04-13 17:23:53 +03:00
parent 185f25d412
commit 3f4b8569ea
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/typechecker.cpp
View File

@ -113,13 +113,18 @@ namespace AST {
state.errors.push_back(CompileError("too many arguments", this->m_meta)); state.errors.push_back(CompileError("too many arguments", this->m_meta));
} }
else { else {
for (int i = 0; i < static_cast<int>(fn_ty->m_param_tys.size()); i++) { for (int i = 0; i < static_cast<int>(this->m_args.size()); i++) {
if (i < static_cast<int>(fn_ty->m_param_tys.size())) {
auto expected_param_ty = fn_ty->m_param_tys[i]; auto expected_param_ty = fn_ty->m_param_tys[i];
auto param_ty = this->m_args[i]->typecheck(state, scope, expected_param_ty); auto param_ty = this->m_args[i]->typecheck(state, scope, expected_param_ty);
auto check_res = check_type(param_ty, expected_param_ty); auto check_res = check_type(param_ty, expected_param_ty);
this->m_args[i] = handle_res(std::move(this->m_args[i]), check_res, state); this->m_args[i] = handle_res(std::move(this->m_args[i]), check_res, state);
} }
else {
this->m_args[i]->typecheck(state, scope, {});
}
}
} }
return fn_ty->m_ret_ty; return fn_ty->m_ret_ty;