0.620
What's Changed
New Type Solver
- Many more fixes to crashes, assertions, and hangs
- Annotated locals now countermand the inferred types of locals, meaning that for a type
type MyType = number | string
,local foo : MyType = 5
behaves the same aslocal foo = 5 :: MyType
, where before, foo would be assigned the type of the value on the rhs. - Type Normalization now respects resource limits.
- Subtyping between classes and cyclic tables now supported
Native Code Generation
- Work on the Native Code Generation(NCG) allocator continues
Internal Contributors
Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Alexander McCord [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: James McNellis [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]