Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync to upstream/release/619 #1218

Merged
merged 67 commits into from
Mar 30, 2024
Merged

Sync to upstream/release/619 #1218

merged 67 commits into from
Mar 30, 2024

Conversation

AmaranthineCodices
Copy link
Contributor

What's Changed

New Type Solver

  • Many fixes to crashes, assertions, and hangs
  • Binary type family aliases now have a default parameter
  • Added a debug check for unsolved types escaping the constraint solver
  • Overloaded functions are no longer inferred
  • Unification creates additional subtyping constraints for blocked types
  • Attempt to guess the result type for type families that are too large to resolve timely

Native Code Generation

  • Fixed IrCmd::CHECK_TRUTHY lowering in a specific case
  • Detailed compilation errors are now supported
  • More work on the new allocator

Internal Contributors

Co-authored-by: Aaron Weiss aaronweiss@roblox.com
Co-authored-by: Alexander McCord amccord@roblox.com
Co-authored-by: Andy Friesen afriesen@roblox.com
Co-authored-by: James McNellis jmcnellis@roblox.com
Co-authored-by: Lily Brown lbrown@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com

aatxe and others added 30 commits November 3, 2023 12:47
- Add SUBRK and DIVRK bytecode instructions
    - Enables future performance optimizations

Miscellaneous
- Small performance improvements to new non-strict mode
- Introduce more scripts for fuzzing
- Improcements to dataflow analysis
Co-authored-by: Alexander McCord <amccord@roblox.com>
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Aviral Goel <agoel@roblox.com>
Co-authored-by: David Cope <dcope@roblox.com>
Co-authored-by: Lily Brown <lbrown@roblox.com>
Co-authored-by: Vyacheslav Egorov <vegorov@roblox.com>
@AmaranthineCodices AmaranthineCodices merged commit 47ad768 into master Mar 30, 2024
8 checks passed
vegorov-rbx added a commit that referenced this pull request Mar 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants