0.523
Analysis changes
- Type checker now normalizes types which results in cleaner error output
- Type checking in strict mode will now infer union for return types by combining types from multiple return statements
- Type checker is now ~10% faster as a result of a series of optimizations
- Type checker now emits a regular type error instead of an internal error for some deeply nested types
Runtime changes
- Fix undefined behavior (unguarded double->int cast) in bytecode compiler
- Implement bytecode cost model for future compiler optimizations
- Fix a bug in the new boundary invariant that could lead to crashes during table literal evaluation
Community contributions
None this week; PRs are always welcome!