mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-19 03:03:49 +01:00
We have lots of new changes for you! # What's Changed ## General - We updated Luau's license year to 2025! - We fixed a bug where large amounts of errors were being printed when deep intersections of unions error. ## Require-by-String This release introduces the `Luau.Require` library, which exposes the runtime semantics of require-by-string, including support for the new `@self` alias described in [this RFC](https://github.com/luau-lang/rfcs/pull/109). The library operates on a virtualized filesystem, allowing consumers to specify navigation rules without assuming a filesystem context. Documentation in `Require.h` explains how to enable the library, and the `setupState` function in Repl.cpp demonstrates how we've integrated it into the luau CLI tool. Note that the interface in `Require.h` is written in C, which enables any application written in a language with a C foreign-function interface to link against this library and enable require-by-string. This makes it straightforward for any application embedding Luau to support require-by-string, provided that it defines or operates within an environment resembling a virtual filesystem. The core navigation semantics of require-by-string have additionally been pulled into the `Luau.RequireNavigator` library. While `Luau.Require` internally depends on `Luau.RequireNavigator`, the latter does not depend on the Luau VM. This library provides an interface for inspecting require-by-string's navigation behavior and therefore serves as a useful dependency for static tooling. Documentation for `Luau.RequireNavigator` is available in `RequireNavigator.h`. ## Autocomplete - We fixed a memory leak in fragment autocomplete! ## New Solver And Old Solver - We've found a infinite iteration error over a type pack. We added a way to detect this error and throw an `InternalCompileError` instead. - We fix `table.freeze` not accounting for the first argument not getting type stated. We fall back to regular inference instead. - We fix a crash in the old solver with `length_error`. - We fix a crash in the new solver stemming from generalization reentrancy. Now we correctly generalize interior free types that do not appear in a function signature. - We fix a nil refinement. (Fixes https://github.com/luau-lang/luau/issues/1687 and https://github.com/luau-lang/luau/issues/1451) ### Internal Contributors Co-authored-by: Andy Friesen <afriesen@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> Full Changelog: https://github.com/luau-lang/luau/compare/0.668...0.669 --------- Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com> Co-authored-by: Varun Saini <61795485+vrn-sn@users.noreply.github.com> Co-authored-by: Alexander Youngblood <ayoungblood@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> Co-authored-by: Vighnesh <vvijay@roblox.com> Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com> Co-authored-by: Ariel Weiss <aaronweiss@roblox.com>
269 lines
7.8 KiB
C++
269 lines
7.8 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
#include "Luau/Ast.h"
|
|
#include "Luau/Cst.h"
|
|
#include "Luau/Common.h"
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
int gCstRttiIndex = 0;
|
|
|
|
CstExprConstantNumber::CstExprConstantNumber(const AstArray<char>& value)
|
|
: CstNode(CstClassIndex())
|
|
, value(value)
|
|
{
|
|
}
|
|
|
|
CstExprConstantString::CstExprConstantString(AstArray<char> sourceString, QuoteStyle quoteStyle, unsigned int blockDepth)
|
|
: CstNode(CstClassIndex())
|
|
, sourceString(sourceString)
|
|
, quoteStyle(quoteStyle)
|
|
, blockDepth(blockDepth)
|
|
{
|
|
LUAU_ASSERT(blockDepth == 0 || quoteStyle == QuoteStyle::QuotedRaw);
|
|
}
|
|
|
|
CstExprCall::CstExprCall(std::optional<Position> openParens, std::optional<Position> closeParens, AstArray<Position> commaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, openParens(openParens)
|
|
, closeParens(closeParens)
|
|
, commaPositions(commaPositions)
|
|
{
|
|
}
|
|
|
|
CstExprIndexExpr::CstExprIndexExpr(Position openBracketPosition, Position closeBracketPosition)
|
|
: CstNode(CstClassIndex())
|
|
, openBracketPosition(openBracketPosition)
|
|
, closeBracketPosition(closeBracketPosition)
|
|
{
|
|
}
|
|
|
|
CstExprFunction::CstExprFunction()
|
|
: CstNode(CstClassIndex())
|
|
{
|
|
}
|
|
|
|
CstExprTable::CstExprTable(const AstArray<Item>& items)
|
|
: CstNode(CstClassIndex())
|
|
, items(items)
|
|
{
|
|
}
|
|
|
|
CstExprOp::CstExprOp(Position opPosition)
|
|
: CstNode(CstClassIndex())
|
|
, opPosition(opPosition)
|
|
{
|
|
}
|
|
|
|
CstExprTypeAssertion::CstExprTypeAssertion(Position opPosition)
|
|
: CstNode(CstClassIndex())
|
|
, opPosition(opPosition)
|
|
{
|
|
}
|
|
|
|
CstExprIfElse::CstExprIfElse(Position thenPosition, Position elsePosition, bool isElseIf)
|
|
: CstNode(CstClassIndex())
|
|
, thenPosition(thenPosition)
|
|
, elsePosition(elsePosition)
|
|
, isElseIf(isElseIf)
|
|
{
|
|
}
|
|
|
|
CstExprInterpString::CstExprInterpString(AstArray<AstArray<char>> sourceStrings, AstArray<Position> stringPositions)
|
|
: CstNode(CstClassIndex())
|
|
, sourceStrings(sourceStrings)
|
|
, stringPositions(stringPositions)
|
|
{
|
|
}
|
|
|
|
CstStatDo::CstStatDo(Position endPosition)
|
|
: CstNode(CstClassIndex())
|
|
, endPosition(endPosition)
|
|
{
|
|
}
|
|
|
|
CstStatRepeat::CstStatRepeat(Position untilPosition)
|
|
: CstNode(CstClassIndex())
|
|
, untilPosition(untilPosition)
|
|
{
|
|
}
|
|
|
|
CstStatReturn::CstStatReturn(AstArray<Position> commaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, commaPositions(commaPositions)
|
|
{
|
|
}
|
|
|
|
CstStatLocal::CstStatLocal(AstArray<Position> varsCommaPositions, AstArray<Position> valuesCommaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, varsCommaPositions(varsCommaPositions)
|
|
, valuesCommaPositions(valuesCommaPositions)
|
|
{
|
|
}
|
|
|
|
CstStatFor::CstStatFor(Position equalsPosition, Position endCommaPosition, std::optional<Position> stepCommaPosition)
|
|
: CstNode(CstClassIndex())
|
|
, equalsPosition(equalsPosition)
|
|
, endCommaPosition(endCommaPosition)
|
|
, stepCommaPosition(stepCommaPosition)
|
|
{
|
|
}
|
|
|
|
CstStatForIn::CstStatForIn(AstArray<Position> varsCommaPositions, AstArray<Position> valuesCommaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, varsCommaPositions(varsCommaPositions)
|
|
, valuesCommaPositions(valuesCommaPositions)
|
|
{
|
|
}
|
|
|
|
CstStatAssign::CstStatAssign(AstArray<Position> varsCommaPositions, Position equalsPosition, AstArray<Position> valuesCommaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, varsCommaPositions(varsCommaPositions)
|
|
, equalsPosition(equalsPosition)
|
|
, valuesCommaPositions(valuesCommaPositions)
|
|
{
|
|
}
|
|
|
|
CstStatCompoundAssign::CstStatCompoundAssign(Position opPosition)
|
|
: CstNode(CstClassIndex())
|
|
, opPosition(opPosition)
|
|
{
|
|
}
|
|
|
|
CstStatFunction::CstStatFunction(Position functionKeywordPosition)
|
|
: CstNode(CstClassIndex())
|
|
, functionKeywordPosition(functionKeywordPosition)
|
|
{
|
|
}
|
|
|
|
CstStatLocalFunction::CstStatLocalFunction(Position localKeywordPosition, Position functionKeywordPosition)
|
|
: CstNode(CstClassIndex())
|
|
, localKeywordPosition(localKeywordPosition)
|
|
, functionKeywordPosition(functionKeywordPosition)
|
|
{
|
|
}
|
|
|
|
CstGenericType::CstGenericType(std::optional<Position> defaultEqualsPosition)
|
|
: CstNode(CstClassIndex())
|
|
, defaultEqualsPosition(defaultEqualsPosition)
|
|
{
|
|
}
|
|
|
|
CstGenericTypePack::CstGenericTypePack(Position ellipsisPosition, std::optional<Position> defaultEqualsPosition)
|
|
: CstNode(CstClassIndex())
|
|
, ellipsisPosition(ellipsisPosition)
|
|
, defaultEqualsPosition(defaultEqualsPosition)
|
|
{
|
|
}
|
|
|
|
CstStatTypeAlias::CstStatTypeAlias(
|
|
Position typeKeywordPosition,
|
|
Position genericsOpenPosition,
|
|
AstArray<Position> genericsCommaPositions,
|
|
Position genericsClosePosition,
|
|
Position equalsPosition
|
|
)
|
|
: CstNode(CstClassIndex())
|
|
, typeKeywordPosition(typeKeywordPosition)
|
|
, genericsOpenPosition(genericsOpenPosition)
|
|
, genericsCommaPositions(genericsCommaPositions)
|
|
, genericsClosePosition(genericsClosePosition)
|
|
, equalsPosition(equalsPosition)
|
|
{
|
|
}
|
|
|
|
CstStatTypeFunction::CstStatTypeFunction(Position typeKeywordPosition, Position functionKeywordPosition)
|
|
: CstNode(CstClassIndex())
|
|
, typeKeywordPosition(typeKeywordPosition)
|
|
, functionKeywordPosition(functionKeywordPosition)
|
|
{
|
|
}
|
|
|
|
CstTypeReference::CstTypeReference(
|
|
std::optional<Position> prefixPointPosition,
|
|
Position openParametersPosition,
|
|
AstArray<Position> parametersCommaPositions,
|
|
Position closeParametersPosition
|
|
)
|
|
: CstNode(CstClassIndex())
|
|
, prefixPointPosition(prefixPointPosition)
|
|
, openParametersPosition(openParametersPosition)
|
|
, parametersCommaPositions(parametersCommaPositions)
|
|
, closeParametersPosition(closeParametersPosition)
|
|
{
|
|
}
|
|
|
|
CstTypeTable::CstTypeTable(AstArray<Item> items, bool isArray)
|
|
: CstNode(CstClassIndex())
|
|
, items(items)
|
|
, isArray(isArray)
|
|
{
|
|
}
|
|
|
|
CstTypeFunction::CstTypeFunction(
|
|
Position openGenericsPosition,
|
|
AstArray<Position> genericsCommaPositions,
|
|
Position closeGenericsPosition,
|
|
Position openArgsPosition,
|
|
AstArray<std::optional<Position>> argumentNameColonPositions,
|
|
AstArray<Position> argumentsCommaPositions,
|
|
Position closeArgsPosition,
|
|
Position returnArrowPosition
|
|
)
|
|
: CstNode(CstClassIndex())
|
|
, openGenericsPosition(openGenericsPosition)
|
|
, genericsCommaPositions(genericsCommaPositions)
|
|
, closeGenericsPosition(closeGenericsPosition)
|
|
, openArgsPosition(openArgsPosition)
|
|
, argumentNameColonPositions(argumentNameColonPositions)
|
|
, argumentsCommaPositions(argumentsCommaPositions)
|
|
, closeArgsPosition(closeArgsPosition)
|
|
, returnArrowPosition(returnArrowPosition)
|
|
{
|
|
}
|
|
|
|
CstTypeTypeof::CstTypeTypeof(Position openPosition, Position closePosition)
|
|
: CstNode(CstClassIndex())
|
|
, openPosition(openPosition)
|
|
, closePosition(closePosition)
|
|
{
|
|
}
|
|
|
|
CstTypeUnion::CstTypeUnion(std::optional<Position> leadingPosition, AstArray<Position> separatorPositions)
|
|
: CstNode(CstClassIndex())
|
|
, leadingPosition(leadingPosition)
|
|
, separatorPositions(separatorPositions)
|
|
{
|
|
}
|
|
|
|
CstTypeIntersection::CstTypeIntersection(std::optional<Position> leadingPosition, AstArray<Position> separatorPositions)
|
|
: CstNode(CstClassIndex())
|
|
, leadingPosition(leadingPosition)
|
|
, separatorPositions(separatorPositions)
|
|
{
|
|
}
|
|
|
|
CstTypeSingletonString::CstTypeSingletonString(AstArray<char> sourceString, CstExprConstantString::QuoteStyle quoteStyle, unsigned int blockDepth)
|
|
: CstNode(CstClassIndex())
|
|
, sourceString(sourceString)
|
|
, quoteStyle(quoteStyle)
|
|
, blockDepth(blockDepth)
|
|
{
|
|
LUAU_ASSERT(quoteStyle != CstExprConstantString::QuotedInterp);
|
|
}
|
|
|
|
CstTypePackExplicit::CstTypePackExplicit(Position openParenthesesPosition, Position closeParenthesesPosition, AstArray<Position> commaPositions)
|
|
: CstNode(CstClassIndex())
|
|
, openParenthesesPosition(openParenthesesPosition)
|
|
, closeParenthesesPosition(closeParenthesesPosition)
|
|
, commaPositions(commaPositions)
|
|
{
|
|
}
|
|
|
|
CstTypePackGeneric::CstTypePackGeneric(Position ellipsisPosition)
|
|
: CstNode(CstClassIndex())
|
|
, ellipsisPosition(ellipsisPosition)
|
|
{
|
|
}
|
|
|
|
} // namespace Luau
|