You need to sign in or sign up before continuing.
Add `CtorEffectsApp` to `dfsValue`
Clarification and motivation
Unlike dfsInstr
, dfsValue
doesn't provide any way to specify how effects should be applied (see CtorEffectsApp
). And because of that when dfsInstr
encounters a value with instructions it doesn't respect CtorEffectsApp
to full extent (e. g. if there is a pair of two lambdas).
Acceptance criteria
dfsValue
should be parameterized by CtorEffectsApp
.