v0.17.1+luau702

Author: khvzak

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "luau0-src"
-version = "0.17.0+luau701"
+version = "0.17.1+luau702"
 authors = ["Aleksandr Orlenko <zxteam@protonmail.com>"]
 edition = "2021"
 repository = "https://github.com/mlua-rs/luau-src-rs"

luau/Ast/include/Luau/Cst.h

@@ -4,8 +4,6 @@
 #include "Luau/Ast.h"
 #include "Luau/Location.h"
 
-#include <string>
-
 namespace Luau
 {
 
@@ -86,13 +84,13 @@ class CstExprConstantString : public CstNode
 // Shared between the expression and call nodes
 struct CstTypeInstantiation
 {
-    Position leftArrow1Position = {0,0};
-    Position leftArrow2Position = {0,0};
+    Position leftArrow1Position = {0, 0};
+    Position leftArrow2Position = {0, 0};
 
     AstArray<Position> commaPositions = {};
 
-    Position rightArrow1Position = {0,0};
-    Position rightArrow2Position = {0,0};
+    Position rightArrow1Position = {0, 0};
+    Position rightArrow2Position = {0, 0};
 };
 
 class CstExprCall : public CstNode
@@ -220,7 +218,19 @@ class CstStatDo : public CstNode
 public:
     LUAU_CST_RTTI(CstStatDo)
 
-    explicit CstStatDo(Position endPosition);
+    explicit CstStatDo(Position statsStartPosition, Position endPosition);
+
+    Position statsStartPosition;
+    Position endPosition;
+};
+
+// Clip with FFlag::LuauCstStatBlock
+class CstStatDo_DEPRECATED : public CstNode
+{
+public:
+    LUAU_CST_RTTI(CstStatDo_DEPRECATED)
+
+    explicit CstStatDo_DEPRECATED(Position endPosition);
 
     Position endPosition;
 };
@@ -521,4 +531,4 @@ class CstTypePackGeneric : public CstNode
     Position ellipsisPosition;
 };
 
-} // namespace Luau
+} // namespace Luau

luau/Ast/include/Luau/ParseResult.h

@@ -71,9 +71,10 @@ struct ParseResult
     CstNodeMap cstNodeMap{nullptr};
 };
 
-struct ParseExprResult
+template<typename Node>
+struct ParseNodeResult
 {
-    AstExpr* expr;
+    Node* root;
     size_t lines = 0;
 
     std::vector<HotComment> hotcomments;

luau/Ast/include/Luau/Parser.h

@@ -54,6 +54,16 @@ class TempVector
 
 class Parser
 {
+    template<typename Node, typename F>
+    static ParseNodeResult<Node> runParse(
+        const char* buffer,
+        size_t bufferSize,
+        AstNameTable& names,
+        Allocator& allocator,
+        ParseOptions options,
+        F f
+    );
+
 public:
     static ParseResult parse(
         const char* buffer,
@@ -63,14 +73,22 @@ class Parser
         ParseOptions options = ParseOptions()
     );
 
-    static ParseExprResult parseExpr(
+    static ParseNodeResult<AstExpr> parseExpr(
         const char* buffer,
         std::size_t bufferSize,
         AstNameTable& names,
         Allocator& allocator,
         ParseOptions options = ParseOptions()
     );
 
+    static ParseNodeResult<AstType> parseType(
+        const char* buffer,
+        std::size_t bufferSize,
+        AstNameTable& names,
+        Allocator& allocator,
+        ParseOptions options = {}
+    );
+
 private:
     struct Name;
     struct Binding;
@@ -285,6 +303,7 @@ class Parser
 
     // primaryexp -> prefixexp { `.' NAME | `[' exp `]' | TypeInstantiation | `:' NAME [TypeInstantiation] funcargs | funcargs }
     AstExpr* parsePrimaryExpr(bool asStatement);
+    AstExpr* parseMethodCall(Position start, AstExpr* expr);
 
     // asexp -> simpleexp [`::' Type]
     AstExpr* parseAssertionExpr();
@@ -311,10 +330,7 @@ class Parser
     AstExpr* parseInterpString();
 
     // TypeInstantiation ::= `<' `<' [TypeList] `>' `>'
-    AstArray<AstTypeOrPack> parseTypeInstantiationExpr(
-        CstTypeInstantiation* cstNodeOut = nullptr,
-        Location* endLocationOut = nullptr
-    );
+    AstArray<AstTypeOrPack> parseTypeInstantiationExpr(CstTypeInstantiation* cstNodeOut = nullptr, Location* endLocationOut = nullptr);
 
     AstExpr* parseExplicitTypeInstantiationExpr(Position start, AstExpr& basedOnExpr);
 

luau/Ast/src/Ast.cpp

@@ -2,7 +2,8 @@
 #include "Luau/Ast.h"
 
 #include "Luau/Common.h"
-#include "Luau/StringUtils.h"
+
+LUAU_FASTFLAGVARIABLE(LuauStandaloneParseType)
 
 LUAU_FASTFLAG(LuauExplicitTypeExpressionInstantiation)
 

luau/Ast/src/Cst.cpp

@@ -3,6 +3,8 @@
 #include "Luau/Cst.h"
 #include "Luau/Common.h"
 
+LUAU_FASTFLAG(LuauCstStatDoWithStatsStart)
+
 namespace Luau
 {
 
@@ -82,10 +84,19 @@ CstExprExplicitTypeInstantiation::CstExprExplicitTypeInstantiation(CstTypeInstan
 {
 }
 
-CstStatDo::CstStatDo(Position endPosition)
+CstStatDo::CstStatDo(Position statsStartPosition, Position endPosition)
+    : CstNode(CstClassIndex())
+    , statsStartPosition(statsStartPosition)
+    , endPosition(endPosition)
+{
+    LUAU_ASSERT(FFlag::LuauCstStatDoWithStatsStart);
+}
+
+CstStatDo_DEPRECATED::CstStatDo_DEPRECATED(Position endPosition)
     : CstNode(CstClassIndex())
     , endPosition(endPosition)
 {
+    LUAU_ASSERT(!FFlag::LuauCstStatDoWithStatsStart);
 }
 
 CstStatRepeat::CstStatRepeat(Position untilPosition)