mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
944e8375aa
- Type aliases can no longer override primitive types; attempts to do that will result in a type error - Fix misleading type error messages for mismatches in expression list length during assignment - Fix incorrect type name display in certain cases - setmetatable/getmetatable are now ~2x faster - tools/perfstat.py can be used to display statistics about profiles captured via --profile switch
115 lines
2.3 KiB
C++
115 lines
2.3 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
|
|
#include "Luau/TypeArena.h"
|
|
|
|
LUAU_FASTFLAGVARIABLE(DebugLuauFreezeArena, false);
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
void TypeArena::clear()
|
|
{
|
|
typeVars.clear();
|
|
typePacks.clear();
|
|
}
|
|
|
|
TypeId TypeArena::addTV(TypeVar&& tv)
|
|
{
|
|
TypeId allocated = typeVars.allocate(std::move(tv));
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypeId TypeArena::freshType(TypeLevel level)
|
|
{
|
|
TypeId allocated = typeVars.allocate(FreeTypeVar{level});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypeId TypeArena::freshType(Scope* scope)
|
|
{
|
|
TypeId allocated = typeVars.allocate(FreeTypeVar{scope});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypeId TypeArena::freshType(Scope* scope, TypeLevel level)
|
|
{
|
|
TypeId allocated = typeVars.allocate(FreeTypeVar{scope, level});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypePackId TypeArena::freshTypePack(Scope* scope)
|
|
{
|
|
TypePackId allocated = typePacks.allocate(FreeTypePack{scope});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypePackId TypeArena::addTypePack(std::initializer_list<TypeId> types)
|
|
{
|
|
TypePackId allocated = typePacks.allocate(TypePack{std::move(types)});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypePackId TypeArena::addTypePack(std::vector<TypeId> types, std::optional<TypePackId> tail)
|
|
{
|
|
TypePackId allocated = typePacks.allocate(TypePack{std::move(types), tail});
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypePackId TypeArena::addTypePack(TypePack tp)
|
|
{
|
|
TypePackId allocated = typePacks.allocate(std::move(tp));
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
TypePackId TypeArena::addTypePack(TypePackVar tp)
|
|
{
|
|
TypePackId allocated = typePacks.allocate(std::move(tp));
|
|
|
|
asMutable(allocated)->owningArena = this;
|
|
|
|
return allocated;
|
|
}
|
|
|
|
void freeze(TypeArena& arena)
|
|
{
|
|
if (!FFlag::DebugLuauFreezeArena)
|
|
return;
|
|
|
|
arena.typeVars.freeze();
|
|
arena.typePacks.freeze();
|
|
}
|
|
|
|
void unfreeze(TypeArena& arena)
|
|
{
|
|
if (!FFlag::DebugLuauFreezeArena)
|
|
return;
|
|
|
|
arena.typeVars.unfreeze();
|
|
arena.typePacks.unfreeze();
|
|
}
|
|
|
|
} // namespace Luau
|