This allows VS Code to detect when sourcekitd has crashed and prompt the user to gather a diagnostic report + file an issue about the crash.
I took this opportunity to refactor the WorkDoneProgress that effectively counts how many tasks of this kind are going on, into a separate type. I’m not quite happy with the name SharedWorkDoneProgressManager. Happy for better suggestions if anyone has some.
This allows VS Code to detect when sourcekitd has crashed and prompt the user to gather a diagnostic report + file an issue about the crash.
I took this opportunity to refactor the WorkDoneProgress that effectively counts how many tasks of this kind are going on, into a separate type. I’m not quite happy with the name
SharedWorkDoneProgressManager
. Happy for better suggestions if anyone has some.rdar://129678779 Fixes #1476