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
The design in #240 and previous iterations includes a number of new components on which the overall correctness of causation and explanation query implementations depends. To reduce the difficulty of reasoning about these implementations and make incremental progress toward landing causation and explanation queries in master, we should pull out these components and specify and test them in isolation.
One of these components is an effect handler that intervenes on randomly selected subsets of a set of possible variables. In the draft design in #240 this handler is called PartOfCause:
The design in #240 and previous iterations includes a number of new components on which the overall correctness of causation and explanation query implementations depends. To reduce the difficulty of reasoning about these implementations and make incremental progress toward landing causation and explanation queries in
master
, we should pull out these components and specify and test them in isolation.One of these components is an effect handler that intervenes on randomly selected subsets of a set of possible variables. In the draft design in #240 this handler is called
PartOfCause
:The implementation in #240 is quite compact thanks to #244's
undo_split
and the syntactic sugar ofcontextlib.contextmanager
:The text was updated successfully, but these errors were encountered: