mirror of
https://github.com/luau-lang/luau.git
synced 2025-03-04 11:11:41 +00:00
c13b5b7440
Some checks failed
benchmark / callgrind (map[branch:main name:luau-lang/benchmark-data], ubuntu-22.04) (push) Has been cancelled
build / macos (push) Has been cancelled
build / macos-arm (push) Has been cancelled
build / ubuntu (push) Has been cancelled
build / windows (Win32) (push) Has been cancelled
build / windows (x64) (push) Has been cancelled
build / coverage (push) Has been cancelled
build / web (push) Has been cancelled
release / macos (push) Has been cancelled
release / ubuntu (push) Has been cancelled
release / windows (push) Has been cancelled
release / web (push) Has been cancelled
## What's Changed ### General - Allow types of tables to diverge after using `table.clone` (fixes #1617). - Allow 2-argument vector.create in Luau. - Fix a crash when suggesting autocomplete after encountering parsing errors. - Add lua_tolstringatom C API which returns the string length (whether or not the atom exists) and which extends the existing lua_tostringatom function the same way lua_tolstring/lua_tostring do. - Luau now retains the DFGs of typechecked modules. ### Magic Functions Migration Note We've made a change to the API used to define magic functions. Previously, we had a set of function pointers on each `FunctionType` that would be invoked by the type inference engine at the correct point. The problem we'd run into is that they were all `std::function`s, we'd grown quite a few of them, and Luau allocates tens of thousands of types as it performs type inference. This adds up to a large amount of memory for data that isn't used by 99% of types. To slim things down a bit, we've replaced all of those `std::function`s with a single `shared_ptr` to a new interface called `MagicFunction`. This slims down the memory footprint of each type by about 50 bytes. The virtual methods of `MagicFunction` have roughly 1:1 correspondence with the old interface, so updating things should not be too difficult: * `FunctionType::magicFunction` is now `MagicFunction::handleOldSolver` * `FunctionType::dcrMagicFunction` is now `MagicFunction::infer` * `FunctionType::dcrMagicRefinement` is now `MagicFunction::refine` * `FunctionType::dcrMagicTypeCheck` is now `MagicFunction::typeCheck` **Full Changelog**: https://github.com/luau-lang/luau/compare/0.657...0.658 --- Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: Ariel Weiss <aaronweiss@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com> Co-authored-by: Talha Pathan <tpathan@roblox.com> Co-authored-by: Varun Saini <vsaini@roblox.com> Co-authored-by: Vighnesh Vijay <vvijay@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
94 lines
3.4 KiB
C++
94 lines
3.4 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
#pragma once
|
|
|
|
#include "Luau/Scope.h"
|
|
#include "Luau/Type.h"
|
|
|
|
#include <optional>
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
static constexpr char kRequireTagName[] = "require";
|
|
|
|
struct Frontend;
|
|
struct GlobalTypes;
|
|
struct TypeChecker;
|
|
struct TypeArena;
|
|
struct Subtyping;
|
|
|
|
void registerBuiltinGlobals(Frontend& frontend, GlobalTypes& globals, bool typeCheckForAutocomplete = false);
|
|
TypeId makeUnion(TypeArena& arena, std::vector<TypeId>&& types);
|
|
TypeId makeIntersection(TypeArena& arena, std::vector<TypeId>&& types);
|
|
|
|
/** Build an optional 't'
|
|
*/
|
|
TypeId makeOption(NotNull<BuiltinTypes> builtinTypes, TypeArena& arena, TypeId t);
|
|
|
|
/** Small utility function for building up type definitions from C++.
|
|
*/
|
|
TypeId makeFunction( // Monomorphic
|
|
TypeArena& arena,
|
|
std::optional<TypeId> selfType,
|
|
std::initializer_list<TypeId> paramTypes,
|
|
std::initializer_list<TypeId> retTypes,
|
|
bool checked = false
|
|
);
|
|
|
|
TypeId makeFunction( // Polymorphic
|
|
TypeArena& arena,
|
|
std::optional<TypeId> selfType,
|
|
std::initializer_list<TypeId> generics,
|
|
std::initializer_list<TypePackId> genericPacks,
|
|
std::initializer_list<TypeId> paramTypes,
|
|
std::initializer_list<TypeId> retTypes,
|
|
bool checked = false
|
|
);
|
|
|
|
TypeId makeFunction( // Monomorphic
|
|
TypeArena& arena,
|
|
std::optional<TypeId> selfType,
|
|
std::initializer_list<TypeId> paramTypes,
|
|
std::initializer_list<std::string> paramNames,
|
|
std::initializer_list<TypeId> retTypes,
|
|
bool checked = false
|
|
);
|
|
|
|
TypeId makeFunction( // Polymorphic
|
|
TypeArena& arena,
|
|
std::optional<TypeId> selfType,
|
|
std::initializer_list<TypeId> generics,
|
|
std::initializer_list<TypePackId> genericPacks,
|
|
std::initializer_list<TypeId> paramTypes,
|
|
std::initializer_list<std::string> paramNames,
|
|
std::initializer_list<TypeId> retTypes,
|
|
bool checked = false
|
|
);
|
|
|
|
void attachMagicFunction(TypeId ty, std::shared_ptr<MagicFunction> fn);
|
|
Property makeProperty(TypeId ty, std::optional<std::string> documentationSymbol = std::nullopt);
|
|
void assignPropDocumentationSymbols(TableType::Props& props, const std::string& baseName);
|
|
|
|
std::string getBuiltinDefinitionSource();
|
|
|
|
void addGlobalBinding(GlobalTypes& globals, const std::string& name, TypeId ty, const std::string& packageName);
|
|
void addGlobalBinding(GlobalTypes& globals, const std::string& name, Binding binding);
|
|
void addGlobalBinding(GlobalTypes& globals, const ScopePtr& scope, const std::string& name, TypeId ty, const std::string& packageName);
|
|
void addGlobalBinding(GlobalTypes& globals, const ScopePtr& scope, const std::string& name, Binding binding);
|
|
std::optional<Binding> tryGetGlobalBinding(GlobalTypes& globals, const std::string& name);
|
|
Binding* tryGetGlobalBindingRef(GlobalTypes& globals, const std::string& name);
|
|
TypeId getGlobalBinding(GlobalTypes& globals, const std::string& name);
|
|
|
|
|
|
/** A number of built-in functions are magical enough that we need to match on them specifically by
|
|
* name when they are called. These are listed here to be used whenever necessary, instead of duplicating this logic repeatedly.
|
|
*/
|
|
|
|
bool matchSetMetatable(const AstExprCall& call);
|
|
bool matchTableFreeze(const AstExprCall& call);
|
|
bool matchAssert(const AstExprCall& call);
|
|
|
|
// Returns `true` if the function should introduce typestate for its first argument.
|
|
bool shouldTypestateForFirstArgument(const AstExprCall& call);
|
|
|
|
} // namespace Luau
|