You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
kaleidawave
changed the title
Record possibly mutated variables / objects and do checking in effects
Record mutated variables / objects that might be mutated by a unknown loop or function call
Dec 14, 2023
Given something like
This might fail if the function passed as
cb
deletesa
fromobj
.As there is no annotation syntax for marking a function as pure/without side effects (at the moment 👀) the safety isn't known inside the function.
This currently isn't caught in Ezno, so needs fixing.
Instead:
apply_effect
(as it evaluates side effects and is aware of what stage the function is at)The text was updated successfully, but these errors were encountered: