mirror of
https://github.com/luau-lang/luau.git
synced 2024-11-15 22:35:43 +08:00
32fb6d10a7
- Fix some cases where type checking would overflow the native stack - Improve autocomplete behavior when assigning a partially written function call (not currently exposed through command line tools) - Improve autocomplete type inference feedback for some expressions where previously the type would not be known - Improve quantification performance during type checking for large types - Improve type checking for table literals when the expected type of the table is known because of a type annotation - Fix type checking errors in cases where required module has errors in the resulting type - Fix debug line information for multi-line chained call sequences (Add function name information for "attempt to call a nil value" #255) - lua_newuserdata now takes 2 arguments to match Lua/LuaJIT APIs better; lua_newuserdatatagged should be used if the third argument was non-0. - lua_ref can no longer be used with LUA_REGISTRYINDEX to prevent mistakes when migrating Lua FFI (Inconsistency with lua_ref #247) - Fix assertions and possible crashes when executing script code indirectly via metatable dispatch from lua_equal/lua_lessthan/lua_getfield/etc. (Hitting a crash in an assert after lua_equal is called. #259) - Fix flamegraph scripts to run under Python 2
97 lines
4.0 KiB
C++
97 lines
4.0 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/Error.h"
|
|
#include "Luau/Location.h"
|
|
#include "Luau/TxnLog.h"
|
|
#include "Luau/TypeInfer.h"
|
|
#include "Luau/Module.h" // FIXME: For TypeArena. It merits breaking out into its own header.
|
|
#include "Luau/UnifierSharedState.h"
|
|
|
|
#include <unordered_set>
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
enum Variance
|
|
{
|
|
Covariant,
|
|
Invariant
|
|
};
|
|
|
|
struct Unifier
|
|
{
|
|
TypeArena* const types;
|
|
Mode mode;
|
|
ScopePtr globalScope; // sigh. Needed solely to get at string's metatable.
|
|
|
|
TxnLog log;
|
|
ErrorVec errors;
|
|
Location location;
|
|
Variance variance = Covariant;
|
|
CountMismatch::Context ctx = CountMismatch::Arg;
|
|
|
|
UnifierSharedState& sharedState;
|
|
|
|
Unifier(TypeArena* types, Mode mode, ScopePtr globalScope, const Location& location, Variance variance, UnifierSharedState& sharedState);
|
|
Unifier(TypeArena* types, Mode mode, ScopePtr globalScope, std::vector<std::pair<TypeId, TypeId>>* sharedSeen, const Location& location,
|
|
Variance variance, UnifierSharedState& sharedState);
|
|
|
|
// Test whether the two type vars unify. Never commits the result.
|
|
ErrorVec canUnify(TypeId superTy, TypeId subTy);
|
|
ErrorVec canUnify(TypePackId superTy, TypePackId subTy, bool isFunctionCall = false);
|
|
|
|
/** Attempt to unify left with right.
|
|
* Populate the vector errors with any type errors that may arise.
|
|
* Populate the transaction log with the set of TypeIds that need to be reset to undo the unification attempt.
|
|
*/
|
|
void tryUnify(TypeId superTy, TypeId subTy, bool isFunctionCall = false, bool isIntersection = false);
|
|
|
|
private:
|
|
void tryUnify_(TypeId superTy, TypeId subTy, bool isFunctionCall = false, bool isIntersection = false);
|
|
void tryUnifyPrimitives(TypeId superTy, TypeId subTy);
|
|
void tryUnifySingletons(TypeId superTy, TypeId subTy);
|
|
void tryUnifyFunctions(TypeId superTy, TypeId subTy, bool isFunctionCall = false);
|
|
void tryUnifyTables(TypeId left, TypeId right, bool isIntersection = false);
|
|
void DEPRECATED_tryUnifyTables(TypeId left, TypeId right, bool isIntersection = false);
|
|
void tryUnifyFreeTable(TypeId free, TypeId other);
|
|
void tryUnifySealedTables(TypeId left, TypeId right, bool isIntersection);
|
|
void tryUnifyWithMetatable(TypeId metatable, TypeId other, bool reversed);
|
|
void tryUnifyWithClass(TypeId superTy, TypeId subTy, bool reversed);
|
|
void tryUnify(const TableIndexer& superIndexer, const TableIndexer& subIndexer);
|
|
TypeId deeplyOptional(TypeId ty, std::unordered_map<TypeId, TypeId> seen = {});
|
|
void cacheResult(TypeId superTy, TypeId subTy);
|
|
|
|
public:
|
|
void tryUnify(TypePackId superTy, TypePackId subTy, bool isFunctionCall = false);
|
|
|
|
private:
|
|
void tryUnify_(TypePackId superTy, TypePackId subTy, bool isFunctionCall = false);
|
|
void tryUnifyVariadics(TypePackId superTy, TypePackId subTy, bool reversed, int subOffset = 0);
|
|
|
|
void tryUnifyWithAny(TypeId any, TypeId ty);
|
|
void tryUnifyWithAny(TypePackId any, TypePackId ty);
|
|
|
|
std::optional<TypeId> findTablePropertyRespectingMeta(TypeId lhsType, Name name);
|
|
|
|
public:
|
|
// Report an "infinite type error" if the type "needle" already occurs within "haystack"
|
|
void occursCheck(TypeId needle, TypeId haystack);
|
|
void occursCheck(DenseHashSet<TypeId>& seen, TypeId needle, TypeId haystack);
|
|
void occursCheck(TypePackId needle, TypePackId haystack);
|
|
void occursCheck(DenseHashSet<TypePackId>& seen, TypePackId needle, TypePackId haystack);
|
|
|
|
Unifier makeChildUnifier();
|
|
|
|
private:
|
|
bool isNonstrictMode() const;
|
|
|
|
void checkChildUnifierTypeMismatch(const ErrorVec& innerErrors, TypeId wantedType, TypeId givenType);
|
|
void checkChildUnifierTypeMismatch(const ErrorVec& innerErrors, const std::string& prop, TypeId wantedType, TypeId givenType);
|
|
|
|
[[noreturn]] void ice(const std::string& message, const Location& location);
|
|
[[noreturn]] void ice(const std::string& message);
|
|
};
|
|
|
|
} // namespace Luau
|