solstice/newsolstice
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix bug for type comparisons

Browse Source
This commit is contained in:
Maxwell
2026-08-03 10:06:19 +10:00
parent 5dc716b03b
commit 50a526c85d
1 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/typechecker/typechecker.cpp
View File

@@ -308,12 +308,13 @@ namespace Solstice {
break;
}
case Narrowing::None: {
for (const auto& [key, value] : overloads) {
if (
left.ptype.possiblities.find(key.left) != left.ptype.possiblities.end() &&
right.ptype.possiblities.find(key.right) != right.ptype.possiblities.end()
) {
node.ptype.possiblities.insert(value);
for (const auto& ltype : left.ptype.possiblities) {
for (const auto& rtype : right.ptype.possiblities) {
TypePair pair{ltype, rtype};
if (overloads.find(pair) == overloads.end()) {
throw std::runtime_error("no valid overload compatible with previous statements");
}
node.ptype.possiblities.insert(overloads[pair]);
}
}
break;