<
8000
div
id="partial-discussion-header"
class="gh-header mb-3 js-details-container Details js-socket-channel js-updatable-content issue"
data-channel="eyJjIjoiaXNzdWU6MzE0MzM1NTc5IiwidCI6MTc0ODQ5OTU5MX0=--3d126d71c65e9a5554f69e7d51cbac18d62e9506ae31cca69ab92212f3d331d7"
data-url="/python/mypy/issues/4911/show_partial?partial=issues%2Ftitle&sticky=true"
data-gid="MDU6SXNzdWUzMTQzMzU1Nzk=">
I previously proposed to switch from alphabetic order of processing of targets to topologically sorted w.r.t. to dependencies. The argument was that it may give some minor performance boost because we will reach a fixed point faster. However, there is another argument, in this case we can incrementally flush errors, because after we fully processed all targets in an SCC there is no way back.
The text was updated successfully, but these errors were encountered: