Closed ptal closed 9 years ago
In (let x = 8 in P) || (let x = 2 in Q) and without alpha-renaming, both x will be shared.
(let x = 8 in P) || (let x = 2 in Q)
x
In
(let x = 8 in P) || (let x = 2 in Q)
and without alpha-renaming, bothx
will be shared.