The handsoff pass prevents row unification from articulating an untouchable variable. At first blush, that seems right.
However, because of the Ren-based approach, articulation is a "pure" operation: its has no effect outside of the scope of the givens that incurred it. So does touchableness matter?
The
handsoffpass prevents row unification from articulating an untouchable variable. At first blush, that seems right.However, because of the
Ren-based approach, articulation is a "pure" operation: its has no effect outside of the scope of the givens that incurred it. So does touchableness matter?