mirror of
https://github.com/luau-lang/luau.git
synced 2024-11-15 06:15:44 +08:00
c2ba1058c3
# What's changed? - Record the location of properties for table types (closes #802) - Implement stricter UTF-8 validations as per the RFC (https://github.com/luau-lang/rfcs/pull/1) - Implement `buffer` as a new type in both the old and new solvers. - Changed errors produced by some `buffer` builtins to be a bit more generic to avoid platform-dependent error messages. - Fixed a bug where `Unifier` would copy some persistent types, tripping some internal assertions. - Type checking rules on relational operators is now a little bit more lax. - Improve dead code elimination for some `if` statements with complex always-false conditions ## New type solver - Dataflow analysis now generates phi nodes on exit of branches. - Dataflow analysis avoids producing a new definition for locals or properties that are not owned by that loop. - If a function parameter has been constrained to `never`, report errors at all uses of that parameter within that function. - Switch to using the new `Luau::Set` to replace `std::unordered_set` to alleviate some poor allocation characteristics which was negatively affecting overall performance. - Subtyping can now report many failing reasons instead of just the first one that we happened to find during the test. - Subtyping now also report reasons for type pack mismatches. - When visiting `if` statements or expressions, the resulting context are the common terms in both branches. ## Native codegen - Implement support for `buffer` builtins to its IR for x64 and A64. - Optimized `table.insert` by not inserting a table barrier if it is fastcalled with a constant. ## Internal Contributors Co-authored-by: Aaron Weiss <aaronweiss@roblox.com> Co-authored-by: Alexander McCord <amccord@roblox.com> Co-authored-by: Andy Friesen <afriesen@roblox.com> Co-authored-by: Arseny Kapoulkine <arseny@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Lily Brown <lbrown@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
62 lines
1.3 KiB
C++
62 lines
1.3 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/DenseHash.h"
|
|
#include <ostream>
|
|
#include <optional>
|
|
|
|
namespace std
|
|
{
|
|
|
|
inline std::ostream& operator<<(std::ostream& lhs, const std::nullopt_t&)
|
|
{
|
|
return lhs << "none";
|
|
}
|
|
|
|
template<typename T>
|
|
auto operator<<(std::ostream& lhs, const std::optional<T>& t) -> decltype(lhs << *t) // SFINAE to only instantiate << for supported types
|
|
{
|
|
if (t)
|
|
return lhs << *t;
|
|
else
|
|
return lhs << "none";
|
|
}
|
|
|
|
template<typename T>
|
|
auto operator<<(std::ostream& lhs, const std::vector<T>& t) -> decltype(lhs << t[0])
|
|
{
|
|
lhs << "{ ";
|
|
bool first = true;
|
|
for (const T& element : t)
|
|
{
|
|
if (first)
|
|
first = false;
|
|
else
|
|
lhs << ", ";
|
|
|
|
lhs << element;
|
|
}
|
|
|
|
return lhs << " }";
|
|
}
|
|
|
|
template<typename K, typename H, typename E>
|
|
auto operator<<(std::ostream& lhs, const Luau::DenseHashSet<K, H, E>& set) -> decltype(lhs << *set.begin())
|
|
{
|
|
lhs << "{ ";
|
|
bool first = true;
|
|
for (const K& element : set)
|
|
{
|
|
if (first)
|
|
first = false;
|
|
else
|
|
lhs << ", ";
|
|
|
|
lhs << element;
|
|
}
|
|
|
|
return lhs << " }";
|
|
}
|
|
|
|
} // namespace std
|