Compare commits

...

1 Commits

Author SHA1 Message Date
zzyyyl
03f719645a feat: 改进包含 #self 的减法运算
self_name + #self ^ self_name = #none
2025-09-24 00:07:45 +08:00

View File

@@ -146,12 +146,14 @@ asst::TaskDataSymbolStream::SymbolsOrError
}
else {
// x = x - y
// WARNING:
// self_name + #self ^ #self = #none
// self_name + #self ^ self_name = #self
// self_name + #self ^ self_name = #none
if (std::ranges::any_of(y, [&](const auto& sy) { return sy == Symbol::SharpSelf; })) {
std::erase(x, self_name);
}
if (std::ranges::any_of(y, [&](const auto& sy) { return sy == self_name; })) {
std::erase(x, Symbol::SharpSelf);
}
std::erase_if(x, [&](const auto& sx) {
return std::ranges::any_of(y, [&](const auto& sy) { return sx == sy; });
});