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

luau 0.663 #209307

Merged
merged 2 commits into from
Feb 28, 2025
Merged

luau 0.663 #209307

merged 2 commits into from
Feb 28, 2025

Conversation

BrewTestBot
Copy link
Member

Created by brew bump


Created with brew bump-formula-pr.

release notes
## What's Changed

Hey folks, another week means another Luau release! This one features a number of bug fixes in the New Type Solver including improvements to user-defined type functions and a bunch of work to untangle some of the outstanding issues we've been seeing with constraint solving not completing in real world use. We're also continuing to make progress on crashes and other problems that affect the stability of fragment autocomplete, as we work towards delivering consistent, low-latency autocomplete for any editor environment.

New Type Solver

  • Fix a bug in user-defined type functions where print would incorrectly insert \1 a number of times.
  • Fix a bug where attempting to refine an optional generic with a type test will cause a false positive type error (fixes #1666)
  • Fix a bug where the refine type family would not skip over *no-refine* discriminants (partial resolution for #1424)
  • Fix a constraint solving bug where recursive function calls would consistently produce cyclic constraints leading to incomplete or inaccurate type inference.
  • Implement readparent and writeparent for class types in user-defined type functions, replacing the incorrectly included parent method.
  • Add initial groundwork (under a debug flag) for eager free type generalization, moving us towards further improvements to constraint solving incomplete errors.

Fragment Autocomplete

  • Ease up some assertions to improve stability of mixed-mode use of the two type solvers (i.e. using Fragment Autocomplete on a type graph originally produced by the old type solver)
  • Resolve a bug with type compatibility checks causing internal compiler errors in autocomplete.

Lexer and Parser

  • Improve the accuracy of the roundtrippable AST parsing mode by correctly placing closing parentheses on type groupings.
  • Add a getter for offset in the Lexer by @aduermael in #1688
  • Add a second entry point to the parser to parse an expression, parseExpr

New Contributors

Full Changelog: luau-lang/luau@0.662...0.663

Internal Contributors

Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Ariel Weiss [email protected]
Co-authored-by: Aviral Goel [email protected]
Co-authored-by: Hunter Goldstein [email protected]
Co-authored-by: James McNellis [email protected]
Co-authored-by: Talha Pathan [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label Feb 28, 2025
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Feb 28, 2025
@BrewTestBot BrewTestBot added this pull request to the merge queue Feb 28, 2025
Merged via the queue into master with commit 00f3090 Feb 28, 2025
15 checks passed
@BrewTestBot BrewTestBot deleted the bump-luau-0.663 branch February 28, 2025 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants