lisyarus/pslang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix inferring type of a != expression node

Browse source
This commit is contained in:
Nikita Lisitsa 2026-01-05 10:23:13 +03:00
parent 8f5744c3f4
commit 45004ce812
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
libs/ast/source/type_check.cpp
View file

@ -130,8 +130,6 @@ namespace pslang::ast
apply(*node.arg1); apply(*node.arg1);
auto arg1_type = get_type(*node.arg1); auto arg1_type = get_type(*node.arg1);
bool good = false;
switch (node.type) switch (node.type)
{ {
case unary_operation_type::negation: case unary_operation_type::negation:
@ -233,7 +231,10 @@ namespace pslang::ast
break; break;
case binary_operation_type::not_equals: case binary_operation_type::not_equals:
if (equal) if (equal)
{
node.inferred_type = std::make_unique<types::type>(types::bool_type{});
return; return;
}
break; break;
case binary_operation_type::less: case binary_operation_type::less:
if (equal) if (equal)