Update base for Update on "[compiler] Delay mutation of function expr context variables until function is called"

Browse Source

See comments in code. The idea is that rather than immediately processing function expression effects when declaring the function, we record Capture effects for context variables that may be captured/mutated in the function. Then, transitive mutations of the function value itself will extend the range of these values via the normal captured value comutation inference established earlier in the stack (if capture a -> b, then transitiveMutate(b) => mutate(a)). So capture contextVar -> function and transitiveMutate(function) => mutate(contextVar).

[ghstack-poisoned]

...

This commit is contained in:

Joe Savona

2025-05-30 16:29:34 -07:00

parent c50d190814

commit 6ce9fa27dd

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available