luau/Analysis/include/Luau
Hunter Goldstein c799a548e4 Sync to version/652
> What's new?

* Fragment Autocomplete: a new API allows for type checking a small
  fragment of code against an existing file, significantly speeding up
  autocomplete performance in large files.

> New Solver

* E-Graphs have landed: this is an ongoing approach to make the new type solver
  simplify types in a more consistent and principled manner, based on
  similar work (e.g.: https://egraphs-good.github.io/).
* Adds support for exported / local user type functions.
* Fixes a set of bugs in which the new solver will fail to complete
  inference for simple expressions with just literals and operators.

> General

* It is now an explicit runtime error to `require` a path with a ".lua" or
  ".luau" extension, and the error message will suggest removing the extension.
  ```
  require("path/to/mymodule.lua")
  ```
* Fixes a bug in which whether two `Symbol`s are equal depends on
  whether the new solver is enabled.
2024-11-08 11:01:20 -08:00
..
Anyification.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
AnyTypeSummary.h Sync to upstream/release/638 2024-08-09 09:46:26 -07:00
ApplyTypeFunction.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
AstJsonEncoder.h Sync to upstream/release/539 2022-08-04 14:27:28 -07:00
AstQuery.h Sync to upstream/release/636 2024-07-25 17:10:42 -07:00
Autocomplete.h Sync to version/652 2024-11-08 11:01:20 -08:00
AutocompleteTypes.h Sync to version/652 2024-11-08 11:01:20 -08:00
BuiltinDefinitions.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
Cancellation.h Sync to upstream/release/584 2023-07-14 08:57:16 -07:00
Clone.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
Constraint.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
ConstraintGenerator.h Sync to version/652 2024-11-08 11:01:20 -08:00
ConstraintSolver.h Sync to version/652 2024-11-08 11:01:20 -08:00
ControlFlow.h Sync to upstream/release/597 2023-09-29 17:22:06 -07:00
DataFlowGraph.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
DcrLogger.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
Def.h Sync to upstream/release/606 2023-12-08 17:42:54 +02:00
Differ.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
Documentation.h Sync to upstream/release/544 2022-09-08 14:44:50 -07:00
EqSatSimplification.h Sync to version/652 2024-11-08 11:01:20 -08:00
EqSatSimplificationImpl.h Sync to version/652 2024-11-08 11:01:20 -08:00
Error.h Sync to upstream/release/645 2024-09-27 10:11:46 -07:00
FileResolver.h Sync to version/652 2024-11-08 11:01:20 -08:00
FragmentAutocomplete.h Sync to version/652 2024-11-08 11:01:20 -08:00
Frontend.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
Generalization.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
GlobalTypes.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
InsertionOrderedMap.h Sync to upstream/release/584 2023-07-14 08:57:16 -07:00
Instantiation2.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
Instantiation.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
IostreamHelpers.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
JsonEmitter.h Sync to upstream/release/549 2022-10-14 01:59:53 +03:00
Linter.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
LValue.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
Metamethods.h Sync to upstream/release/593 2023-09-01 09:38:53 -07:00
Module.h Sync to upstream/release/648 2024-10-18 18:08:01 +03:00
ModuleResolver.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
NonStrictTypeChecker.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
Normalize.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
NotNull.h Sync to upstream/release/555 2022-12-02 12:46:05 +02:00
OverloadResolution.h Sync to upstream/release/645 2024-09-27 10:11:46 -07:00
Predicate.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
Quantify.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
RecursionCounter.h Sync to upstream/release/558 2023-01-06 18:07:19 +02:00
Refinement.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
RequireTracer.h Sync to upstream/release/546 2022-09-23 11:32:10 -07:00
Scope.h 627 2024-05-26 08:33:40 -07:00
Set.h Sync release to upstream/release/641 2024-08-30 12:28:44 -07:00
Simplify.h Sync to upstream/release/628 2024-05-31 10:46:33 -07:00
Substitution.h Sync to upstream/release/631 2024-06-21 01:23:57 +03:00
Subtyping.h Sync to upstream/release/645 2024-09-27 10:11:46 -07:00
Symbol.h Sync to upstream/release/588 2023-07-28 14:37:00 +03:00
TableLiteralInference.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
ToDot.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
TopoSortStatements.h Sync to upstream/release/503 2021-11-04 19:47:13 -07:00
ToString.h Sync to version/652 2024-11-08 11:01:20 -08:00
Transpiler.h Sync to upstream/release/504 2021-11-11 18:12:39 -08:00
TxnLog.h Sync to upstream/release/577 2023-05-19 11:59:59 -07:00
Type.h Sync to version/652 2024-11-08 11:01:20 -08:00
TypeArena.h Sync to upstream/release/635 2024-07-19 10:21:40 -07:00
TypeAttach.h Sync to upstream/release/501 (#20) 2021-11-03 10:15:50 -07:00
TypeChecker2.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
TypeCheckLimits.h Sync to upstream/release/588 2023-07-28 14:37:00 +03:00
TypedAllocator.h Sync to upstream/release/541 2022-08-18 14:04:33 -07:00
TypeFunction.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
TypeFunctionReductionGuesser.h Sync to upstream/release/635 2024-07-19 10:21:40 -07:00
TypeFunctionRuntime.h Sync to upstream/release/650 2024-11-01 09:47:10 -07:00
TypeFunctionRuntimeBuilder.h Sync to upstream/release/645 2024-09-27 10:11:46 -07:00
TypeFwd.h Sync to upstream/release/634 2024-07-11 15:13:45 -07:00
TypeInfer.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
TypeOrPack.h Sync to upstream/release/602 2023-11-03 12:47:28 -07:00
TypePack.h Sync to upstream/release/635 2024-07-19 10:21:40 -07:00
TypePairHash.h Sync to upstream/release/601 2023-10-27 12:33:36 -07:00
TypePath.h Sync to upstream/release/646 2024-10-04 09:42:22 -07:00
TypeUtils.h Sync to upstream/release/648 2024-10-18 18:08:01 +03:00
Unifiable.h Sync to upstream/release/571 2023-04-07 12:56:27 -07:00
Unifier2.h Sync to upstream/release/637 2024-08-01 16:25:12 -07:00
Unifier.h Sync to upstream/release/649 2024-10-25 09:46:08 -07:00
UnifierSharedState.h Sync to upstream/release/600 2023-10-20 13:36:26 -07:00
VisitType.h Sync to upstream/release/648 2024-10-18 18:08:01 +03:00