luau/Analysis/include/Luau
Alexander McCord 1d0b449181
Sync to upstream/release/597 (#1054)
# New Type Solver

- Implement bidirectional type inference for higher order functions so
that we can provide a more precise type improving the autocomplete's
human factors.
- We seal all tables, so we changed the stringification to make it a
little lighter on users.
- Fixed a case of array-out-of-bound access.
- Type families no longer depends on `TxnLog` and `Unifier`.
- Type refinements now waits until the free types are sufficiently
solved.

# Native Code Generation

- Remove cached slot lookup for `executeSETTABLEKS` function because it
is a fallback in the event of a cache miss, making the cached slot
lookup redundant.
- Optimized repeated array lookups, e.g. `a[3]` in `a[3] = a[3] / 2` is
done once.

# Misc

- On some platforms, it is necessary to use `gmtime_s` with the
arguments reversed to get the current time. You can now define
`DOCTEST_CONFIG_USE_GMTIME_S` to build and run unit tests on those
platforms.

---------

Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Lily Brown <lbrown@roblox.com>
Co-authored-by: Aaron Weiss <aaronweiss@roblox.com>
2023-09-29 18:13:05 -07:00
..
Anyification.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
ApplyTypeFunction.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
AstJsonEncoder.h Sync to upstream/release/539 (#625) 2022-08-04 15:35:33 -07:00
AstQuery.h Sync to upstream/release/572 (#899) 2023-04-14 11:06:22 -07:00
Autocomplete.h Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
Breadcrumb.h Sync to upstream/release/566 (#853) 2023-03-03 12:21:14 -08:00
BuiltinDefinitions.h Sync to upstream/release/594 (#1036) 2023-09-07 17:13:49 -07:00
Cancellation.h Sync to upstream/release/584 (#977) 2023-07-14 11:08:53 -07:00
Clone.h Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
Constraint.h Sync to upstream/release/583 (#974) 2023-07-07 13:10:48 -07:00
ConstraintGraphBuilder.h Sync to upstream/release/597 (#1054) 2023-09-29 18:13:05 -07:00
ConstraintSolver.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
ControlFlow.h Support Control Flow type Refinements for "break" and "continue" statements (#1004) 2023-09-21 15:28:42 -07:00
DataFlowGraph.h Sync to upstream/release/566 (#853) 2023-03-03 12:21:14 -08:00
DcrLogger.h Sync to upstream/release/565 (#845) 2023-02-24 13:49:38 -08:00
Def.h Sync to upstream/release/566 (#853) 2023-03-03 12:21:14 -08:00
Differ.h Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
Documentation.h Sync to upstream/release/544 (#669) 2022-09-08 15:14:25 -07:00
Error.h Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
FileResolver.h Sync to upstream/release/506 (#270) 2021-12-02 22:41:04 -08:00
Frontend.h Sync to upstream/release/594 (#1036) 2023-09-07 17:13:49 -07:00
GlobalTypes.h Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
InsertionOrderedMap.h Sync to upstream/release/584 (#977) 2023-07-14 11:08:53 -07:00
Instantiation.h Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
IostreamHelpers.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
JsonEmitter.h Sync to upstream/release/549 (#707) 2022-10-14 12:48:41 -07:00
Linter.h Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
LValue.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
Metamethods.h Sync to upstream/release/593 (#1024) 2023-09-01 10:58:27 -07:00
Module.h Sync to upstream/release/591 (#1012) 2023-08-18 11:15:41 -07:00
ModuleResolver.h Sync to upstream/release/502 (#134) 2021-11-04 19:34:35 -07:00
NonStrictTypeChecker.h Sync to upstream/release/597 (#1054) 2023-09-29 18:13:05 -07:00
Normalize.h Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
NotNull.h Sync to upstream/release/555 (#768) 2022-12-02 10:09:59 -08:00
Predicate.h Sync to upstream/release/559 (#804) 2023-01-13 14:10:01 -08:00
Quantify.h Sync to upstream/release/576 (#928) 2023-05-12 10:50:47 -07:00
RecursionCounter.h Sync to upstream/release/558 (#796) 2023-01-06 13:14:35 -08:00
Refinement.h Sync to upstream/release/566 (#853) 2023-03-03 12:21:14 -08:00
RequireTracer.h Sync to upstream/release/546 (#681) 2022-09-23 12:17:25 -07:00
Scope.h Sync to upstream/release/570 (#885) 2023-03-31 11:42:49 -07:00
Simplify.h Sync to upstream/release/577 (#934) 2023-05-19 12:37:30 -07:00
Substitution.h Sync to upstream/release/590 (#1008) 2023-08-11 07:42:37 -07:00
Subtyping.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
Symbol.h Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
ToDot.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
TopoSortStatements.h Sync to upstream/release/503 (#135) 2021-11-05 08:47:21 -07:00
ToString.h Sync to upstream/release/584 (#977) 2023-07-14 11:08:53 -07:00
Transpiler.h Sync to upstream/release/504 (#200) 2021-11-12 06:27:34 -08:00
TxnLog.h Sync to upstream/release/577 (#934) 2023-05-19 12:37:30 -07:00
Type.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
TypeArena.h Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
TypeAttach.h Sync to upstream/release/501 (#20) 2021-11-01 14:52:34 -07:00
TypeChecker2.h Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
TypeCheckLimits.h Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
TypedAllocator.h Sync to upstream/release/541 (#644) 2022-08-18 14:32:08 -07:00
TypeFamily.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
TypeInfer.h Sync to upstream/release/594 (#1036) 2023-09-07 17:13:49 -07:00
TypePack.h Sync to upstream/release/576 (#928) 2023-05-12 10:50:47 -07:00
TypeUtils.h Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
Unifiable.h Sync to upstream/release/571 (#895) 2023-04-07 14:01:29 -07:00
Unifier.h Sync to upstream/release/595 (#1044) 2023-09-15 10:26:59 -07:00
Unifier2.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00
UnifierSharedState.h Sync to upstream/release/557 (#794) 2023-01-04 12:53:17 -08:00
Variant.h Sync to upstream/release/589 (#1000) 2023-08-04 12:18:54 -07:00
VisitType.h Sync to upstream/release/596 (#1050) 2023-09-22 12:12:15 -07:00