[compiler] Don't validate when effect cleanup function depends on effect localized setState state derived values #35020
+1,385
−570
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
…d instead update typeOfValue and fix infinite loops
Summary:
With this we are now comparing a snapshot of the derivationCache with the new changes every time we are done recording the derivations happening in the HIR.
We have to do this after recording everything since we still do some mutations on the cache when recording mutations.
Test Plan:
Test the following in playground:
```
// @validateNoDerivedComputationsInEffects_exp
function Component({ value }) {
const [checked, setChecked] = useState('');
useEffect(() => {
setChecked(value === '' ? [] : value.split(','));
}, [value]);
return (
<div>{checked}</div>
)
}
```
This no longer causes an infinite loop.
Added a test case in the next PR in the stack
This was referenced Oct 30, 2025
jorge-cab
force-pushed
the
pr35020
branch
2 times, most recently
from
6119390 to
6791143
Compare
jorge-cab
force-pushed
the
pr35020
branch
6 times, most recently
from
b421099 to
e900a9d
Compare
…or for `no-deriving-state-in-effects` Summary: Revamped the derivationCache graph. This fixes a bunch of bugs where sometimes we fail to track from which props/state we derived values from. Also, it is more intuitive and allows us to easily implement a Data Flow Tree. We can print this tree which gives insight on how the data is derived and should facilitate error resolution in complicated components Test Plan: Added a test case where we were failing to track derivations. Also updated the test cases with the new error containing the data flow tree
…he error instead of throwing Summary: TSIA Simple change to log errors in Pipeline.ts instead of throwing in the validation Test Plan: updated snap tests
…entifier names Summary: This makes the setState usage logic much more robust. We no longer rely on identifierName. Now we track when a setState is loaded into a new promoted identifier variable and track this in a map `setStateLoaded` map. For other types of instructions we consider the setState to be being used. In this case we record its usage into the `setStateUsages` map. Test Plan: We expect no changes in behavior for the current tests
jorge-cab
force-pushed
the
pr35020
branch
5 times, most recently
from
db9b410 to
b2f2b26
Compare
…ect localized setState state derived values Summary: If we are using a clean up function in an effect and that clean up function depends on a value that is used to set the state we are validating for we shouldn't throw an error since it is a valid use case for an effect. Test Plan: added test
mofeiZ
reviewed
Nov 6, 2025
| return result; | ||
| } | ||
|
|
||
| function getFnGlobalDeps( |
Contributor
There was a problem hiding this comment.
small nit -- this should be LocalDeps right?
mofeiZ
approved these changes
Nov 6, 2025
mofeiZ
reviewed
Nov 6, 2025
Comment on lines
+573
to
+575
| deps: Set<IdentifierId>, | ||
| ): void { | ||
| if (!fn) { |
Contributor
There was a problem hiding this comment.
small nit: could return Array<IdentifierId> and merge at caller, or make it more obvious you're writing to deps
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Summary:
If we are using a clean up function in an effect and that clean up function depends on a value that is used to set the state we are validating for we shouldn't throw an error since it is a valid use case for an effect.
Test Plan:
added test
Stack created with Sapling. Best reviewed with ReviewStack.
no-deriving-state-in-effects#34995