|
|
|
|
@ -452,7 +452,7 @@ let discover_young_generation () =
|
|
|
|
|
discovering a variable [v] cannot improve the value of [k] that we are
|
|
|
|
|
pushing down).
|
|
|
|
|
|
|
|
|
|
In the presence of cycles, the upward propation phase is incomplete, in the
|
|
|
|
|
In the presence of cycles, the upward propagation phase is incomplete, in the
|
|
|
|
|
sense that it may compute ranks that are higher than necessary. For
|
|
|
|
|
instance, imagine a cycle at rank 2, such that every leaf that is reachable
|
|
|
|
|
from this cycle is at rank 1. Then, in principle, this cycle can be demoted
|
|
|
|
|
|
