Open ptal opened 9 years ago
We could modify the IR so the "when" structure could contains more than one ConstraintDependentEdge. It'd mean that all vertices with only the next field used would be erased. Useful for these kind of cases:
ConstraintDependentEdge
next
when {x = 0} -> next {x != z} || next {x != w}
when {x = 0} -> next {x != z} || async {x = 2}
We could modify the IR so the "when" structure could contains more than one
ConstraintDependentEdge
. It'd mean that all vertices with only thenext
field used would be erased. Useful for these kind of cases:when {x = 0} -> next {x != z} || next {x != w}
when {x = 0} -> next {x != z} || async {x = 2}