Typo.
This commit is contained in:
parent
9135e45a8e
commit
b338772f21
|
@ -451,7 +451,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
|
||||
|
|
Loading…
Reference in New Issue