mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-04 10:50:54 +01:00
77642988c2
# General - Additional logging enabled for fragment autocomplete. ## Roundtrippable AST - Add a new `AstNode`, `AstGenericType` - Retain source information for `AstExprTypeAssertion` ## New Type Solver - New non-strict mode will report unknown symbol errors, e.g ``` foo = 5 local wrong1 = foob <- issue warning ``` - Fixed a bug where new non-strict mode failed to visit large parts of the program. - We now infer the types of unnanotated local variables in statements with multiple assignments, e.g. `local x: "a", y, z = "a", f()` - Fixed bugs in constraint dispatch ordering. - Fixed a bug that caused an infinite loop between `Subtyping`, `OverloadResolution`, and `Type Function Reduction`, by preventing calls to `Type Function Reduction` being re-entrant. - Fixed a crash in bidirectional type inference caused by asserting read and write properties on a type that was readonly. ## Runtime - Fix a stack overflow caused by `luaL_checkstack` consuming stack space even if the function fails to reserve memory. - Using '%c' with a 0 value in Luau string.format will append a '\0'. Resolves https://github.com/luau-lang/luau/issues/1650 ## Miscellaneous - Miscellaneous small bugfixes for the new solver. **Full Changelog**: https://github.com/luau-lang/luau/compare/0.660...0.661 ---- Co-authored-by: Ariel Weiss <aaronweiss@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> --------- 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: Menarul Alam <malam@roblox.com> Co-authored-by: Aviral Goel <agoel@roblox.com> |
||
|---|---|---|
| .. | ||
| Anyification.cpp | ||
| AnyTypeSummary.cpp | ||
| ApplyTypeFunction.cpp | ||
| AstJsonEncoder.cpp | ||
| AstQuery.cpp | ||
| Autocomplete.cpp | ||
| AutocompleteCore.cpp | ||
| AutocompleteCore.h | ||
| BuiltinDefinitions.cpp | ||
| Clone.cpp | ||
| Constraint.cpp | ||
| ConstraintGenerator.cpp | ||
| ConstraintSolver.cpp | ||
| DataFlowGraph.cpp | ||
| DcrLogger.cpp | ||
| Def.cpp | ||
| Differ.cpp | ||
| EmbeddedBuiltinDefinitions.cpp | ||
| EqSatSimplification.cpp | ||
| Error.cpp | ||
| FragmentAutocomplete.cpp | ||
| Frontend.cpp | ||
| Generalization.cpp | ||
| GlobalTypes.cpp | ||
| Instantiation.cpp | ||
| Instantiation2.cpp | ||
| IostreamHelpers.cpp | ||
| JsonEmitter.cpp | ||
| Linter.cpp | ||
| LValue.cpp | ||
| Module.cpp | ||
| NonStrictTypeChecker.cpp | ||
| Normalize.cpp | ||
| OverloadResolution.cpp | ||
| Quantify.cpp | ||
| Refinement.cpp | ||
| RequireTracer.cpp | ||
| Scope.cpp | ||
| Simplify.cpp | ||
| Substitution.cpp | ||
| Subtyping.cpp | ||
| Symbol.cpp | ||
| TableLiteralInference.cpp | ||
| ToDot.cpp | ||
| TopoSortStatements.cpp | ||
| ToString.cpp | ||
| Transpiler.cpp | ||
| TxnLog.cpp | ||
| Type.cpp | ||
| TypeArena.cpp | ||
| TypeAttach.cpp | ||
| TypeChecker2.cpp | ||
| TypedAllocator.cpp | ||
| TypeFunction.cpp | ||
| TypeFunctionReductionGuesser.cpp | ||
| TypeFunctionRuntime.cpp | ||
| TypeFunctionRuntimeBuilder.cpp | ||
| TypeInfer.cpp | ||
| TypeOrPack.cpp | ||
| TypePack.cpp | ||
| TypePath.cpp | ||
| TypeUtils.cpp | ||
| Unifiable.cpp | ||
| Unifier.cpp | ||
| Unifier2.cpp | ||