Skip to content

0.610
Compare
Choose a tag to compare
@github-actions github-actions released this 27 Jan 03:25
0.610
9c588be
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's changed?

  • Check interrupt handler inside the pattern match engine to eliminate potential for programs to hang during string library function execution.
  • Allow iteration over table properties to pass the old type solver.

Native Code Generation

  • Use in-place memory operands for math library operations on x64.
  • Replace opaque bools with separate enum classes in IrDump to improve code maintainability.
  • Translate operations on inferred vectors to IR.
  • Enable support for debugging native-compiled functions in Roblox Studio.

New Type Solver

  • Rework type inference for boolean and string literals to introduce bounded free types (bounded below by the singleton type, and above by the primitive type) and reworked primitive type constraint to decide which is the appropriate type for the literal.
  • Introduce FunctionCheckConstraint to handle bidirectional typechecking for function calls, pushing the expected parameter types from the function onto the arguments.
  • Introduce union and intersect type families to compute deferred simplified unions and intersections to be employed by the constraint generation logic in the new solver.
  • Implement support for expanding the domain of local types in Unifier2.
  • Rework type inference for iteration variables bound by for in loops to use local types.
  • Change constraint blocking logic to use a set to prevent accidental re-blocking.
  • Add logic to detect missing return statements in functions.

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: Aviral Goel agoel@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com

Assets 6
Loading