mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
279855df91
- A series of major optimizations to type checking performance on complex programs/types (up to two orders of magnitude speedup for programs involving huge tagged unions) - Fix a few issues encountered by UBSAN (and maybe fix s390x builds) - Fix gcc-11 test builds - Fix a rare corner case where luau_load wouldn't wake inactive threads which could result in a use-after-free due to GC - Fix CLI crash when error object that's not a string escapes to top level - Fix Makefile suffixes on macOS Co-authored-by: Rodactor <rodactor@roblox.com>
90 lines
2 KiB
C++
90 lines
2 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
|
|
#include "Luau/Quantify.h"
|
|
|
|
#include "Luau/VisitTypeVar.h"
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
struct Quantifier
|
|
{
|
|
ModulePtr module;
|
|
TypeLevel level;
|
|
std::vector<TypeId> generics;
|
|
std::vector<TypePackId> genericPacks;
|
|
|
|
Quantifier(ModulePtr module, TypeLevel level)
|
|
: module(module)
|
|
, level(level)
|
|
{
|
|
}
|
|
|
|
void cycle(TypeId) {}
|
|
void cycle(TypePackId) {}
|
|
|
|
bool operator()(TypeId ty, const FreeTypeVar& ftv)
|
|
{
|
|
if (!level.subsumes(ftv.level))
|
|
return false;
|
|
|
|
*asMutable(ty) = GenericTypeVar{level};
|
|
generics.push_back(ty);
|
|
|
|
return false;
|
|
}
|
|
|
|
template<typename T>
|
|
bool operator()(TypeId ty, const T& t)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
template<typename T>
|
|
bool operator()(TypePackId, const T&)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
bool operator()(TypeId ty, const TableTypeVar&)
|
|
{
|
|
TableTypeVar& ttv = *getMutable<TableTypeVar>(ty);
|
|
|
|
if (ttv.state == TableState::Sealed || ttv.state == TableState::Generic)
|
|
return false;
|
|
if (!level.subsumes(ttv.level))
|
|
return false;
|
|
|
|
if (ttv.state == TableState::Free)
|
|
ttv.state = TableState::Generic;
|
|
else if (ttv.state == TableState::Unsealed)
|
|
ttv.state = TableState::Sealed;
|
|
|
|
ttv.level = level;
|
|
|
|
return true;
|
|
}
|
|
|
|
bool operator()(TypePackId tp, const FreeTypePack& ftp)
|
|
{
|
|
if (!level.subsumes(ftp.level))
|
|
return false;
|
|
|
|
*asMutable(tp) = GenericTypePack{level};
|
|
genericPacks.push_back(tp);
|
|
return true;
|
|
}
|
|
};
|
|
|
|
void quantify(ModulePtr module, TypeId ty, TypeLevel level)
|
|
{
|
|
Quantifier q{std::move(module), level};
|
|
visitTypeVar(ty, q);
|
|
|
|
FunctionTypeVar* ftv = getMutable<FunctionTypeVar>(ty);
|
|
LUAU_ASSERT(ftv);
|
|
ftv->generics = q.generics;
|
|
ftv->genericPacks = q.genericPacks;
|
|
}
|
|
|
|
} // namespace Luau
|