0.635
What's Changed?
- Bugfixes in the new solver
- Store
definitionLocation
in ClassType by @JohnnyMorganz in #1313 - Optimizations for UnionFind by @birds3345 in #1334
New Solver
- Equality graphs(E-Graphs) data structures were added
- Refactored even more instances of "type family" with "type function"
table.insert
no longer spuriously warns while selecting an overload for reasonable arguments.- Add time tracing for the new solver
- Miscellaneous fixes to unit tests
Internal Contributors
Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Alexander McCord [email protected]
Co-authored-by: Jeremy Yoo [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]
Full Changelog: 0.634...0.635