File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ The story is a bit different for `type_check_item(foo)`: We again walk the
5858edges and already know that ` type_of(foo) ` is fine. Then we get to
5959` type_of(bar) ` which we have not checked yet, so we walk the edges of
6060` type_of(bar) ` and encounter ` Hir(bar) ` which * has* changed. Consequently
61- the result of ` type_of(bar) ` might yield a different same result than what we
61+ the result of ` type_of(bar) ` might yield a different result than what we
6262have in the cache and, transitively, the result of ` type_check_item(foo) `
6363might have changed too. We thus re-run ` type_check_item(foo) ` , which in
6464turn will re-run ` type_of(bar) ` , which will yield an up-to-date result
@@ -329,7 +329,7 @@ up its dependencies (i.e. also dep-nodes in the previous graph) and continue wit
329329the rest of the try-mark-green algorithm. The next interesting thing happens
330330when we successfully marked the node as green. At that point we copy the node
331331and the edges to its dependencies from the old graph into the new graph. We
332- have to do this because the new dep-graph cannot not acquire the
332+ have to do this because the new dep-graph cannot acquire the
333333node and edges via the regular dependency tracking. The tracking system can
334334only record edges while actually running a query -- but running the query,
335335although we have the result already cached, is exactly what we want to avoid.
You can’t perform that action at this time.
0 commit comments