brownsys/paralegal

Ensure that markers propagate to child places

JustusAdam opened this issue · 0 comments

If a value of compound type where child places are tracked separately is marked, then the child places also need to be marked.

This needs test cases too.