0.597
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
andUnifier
. - 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]
ina[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 defineDOCTEST_CONFIG_USE_GMTIME_S
to build and run unit tests on those platforms.
Full Changelog: 0.596...0.597