Amendment: Allow require aliases to reference other aliases #145
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
Author
|
Also want to add that cycle detection is relatively simple and inexpensive. This stems from the fact that dependency aliases must always be defined in the same or a higher-level From that, it's easy to see that the only way for a cycle to occur is if all aliases in the cycle are defined in the same |
aatxe
approved these changes
Oct 30, 2025
SPY
added a commit
to luau-lang/luau
that referenced
this pull request
Nov 14, 2025
We have reached release 700!
# Analysis
* `table.isfrozen` and `table.clear` use `{}` instead of generic table
type to make it work with union of table types.
* Relax typing definitions for `types.newtable` to make it easier to
specify read-only table properties
* Do not drop explicit generic type packs. Hopefully fixes #2075
* Added protection against stack overflows to more spots in `Unifier2`
* Improved bidirectionally inferring lambdas. When performing inference
on a lambda, check _right_ before we attempt to emplace a free type
whether there's a generic.
* Reworked overload resolution interface.
`OverloadResolver::resolveOverload` was introduced to abstract and unify
existing resolving machinery.
* `instantiation2` selects more useful bounds.
- If we have positive or negative polarity, blindly use the upper/lower
bounds respectively.
- Otherwise, attempt to find a reasonable bound by first avoiding
picking `never` or `unknown`, then doing a subtype test to try to pick a
tight bound.
* Added protection against stack overflows to the non-strict type
checker
* Luau-syntax configuration extraction can now be timed out during
analysis. See `CLI/src/Analyze.cpp` for an example.
# Require
* Support chained aliases with built-in cycle detection:
luau-lang/rfcs#145.
* Resolve JohnnyMorganz/luau-lsp#1246.
# Autocomplete
* Do not recommend generic types for anonymous functions being passed as
arguments
---
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Annie Tang <annietang@roblox.com>
Co-authored-by: Ariel Weiss <arielweiss@roblox.com>
Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com>
Co-authored-by: Varun Saini <vsaini@roblox.com>
Member
Author
|
This is implemented in the latest version of Luau! https://github.com/luau-lang/luau/releases/tag/0.700 |
theoparis
pushed a commit
to tinted-software/luau-ng
that referenced
this pull request
Dec 7, 2025
We have reached release 700!
# Analysis
* `table.isfrozen` and `table.clear` use `{}` instead of generic table
type to make it work with union of table types.
* Relax typing definitions for `types.newtable` to make it easier to
specify read-only table properties
* Do not drop explicit generic type packs. Hopefully fixes #2075
* Added protection against stack overflows to more spots in `Unifier2`
* Improved bidirectionally inferring lambdas. When performing inference
on a lambda, check _right_ before we attempt to emplace a free type
whether there's a generic.
* Reworked overload resolution interface.
`OverloadResolver::resolveOverload` was introduced to abstract and unify
existing resolving machinery.
* `instantiation2` selects more useful bounds.
- If we have positive or negative polarity, blindly use the upper/lower
bounds respectively.
- Otherwise, attempt to find a reasonable bound by first avoiding
picking `never` or `unknown`, then doing a subtype test to try to pick a
tight bound.
* Added protection against stack overflows to the non-strict type
checker
* Luau-syntax configuration extraction can now be timed out during
analysis. See `CLI/src/Analyze.cpp` for an example.
# Require
* Support chained aliases with built-in cycle detection:
luau-lang/rfcs#145.
* Resolve JohnnyMorganz/luau-lsp#1246.
# Autocomplete
* Do not recommend generic types for anonymous functions being passed as
arguments
---
Co-authored-by: Andy Friesen <afriesen@roblox.com>
Co-authored-by: Annie Tang <annietang@roblox.com>
Co-authored-by: Ariel Weiss <arielweiss@roblox.com>
Co-authored-by: Hunter Goldstein <hgoldstein@roblox.com>
Co-authored-by: Varun Saini <vsaini@roblox.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Enables iterative resolution of chained aliases.