| 22:54 | <shu> | bakkot: Michael Ficarra i'm about to write some real cursed spec stuff about inspecting execution contexts, would like to get your thoughts |
| 22:55 | <jmdyck> | inspecting them how? |
| 22:56 | <shu> | i want to check if a Parse Node pn is currently undergoing Evaluation (i.e. it's either being evaluated itself or is contained in the top-level Parse Node being evaluated) in a non-suspended execution context on the execution context stack |
| 22:56 | <shu> | i'm not sure what the best way to write this prose is other than, basically, what i said |
| 22:57 | <shu> | i'd prefer to avoid building out spec machinery for this since it's for a fairly small use case for refining liveness guarantees of template objects which i'm writing up |
| 22:58 | <shu> | actually maybe i should just add a ParseNodeBeingEvaluated component |
| 23:01 | <shu> | casing on Function and ScriptOrModule almost works, except for these iterators that were created from Abstract Closures, hm |
| 23:01 | <jmdyck> | Note that there are a couple uses of "that is being evaluated" in the spec that might or might not assume the same semantics. |
| 23:02 | <jmdyck> | (I don't expect they'll help you, but they might be other places that could use something you introduce.) |
| 23:03 | <shu> | ah interesting |
| 23:05 | <jmdyck> | Does "a non-suspended execution context on the execution context stack" mean something other than "the running execution context"? |
| 23:07 | <shu> | no, that's what i meant |
| 23:08 | <jmdyck> | ok, that simplifies things |
| 23:08 | <shu> | but i in fact think i misspoke, the property i need to specify should be looking at all execution contexts |
| 23:09 | <jmdyck> | all ECs on the stack, or all ECs in the agent? |
| 23:12 | <shu> | all ECs on the stack, i need to manually check liveness of generator objects before looking at their saved contexts |
| 23:14 | <jmdyck> | (afk) |