Zulip Chat Archive

Stream: new members

Topic: VS code never stops checking


Hans Parshall (Feb 10 2022 at 04:07):

My VS Code this evening decided to never stop checking some files that it was perfectly happy to check through earlier today. To clarify: I am stuck with yellow bars on the left indefinitely. I did try restarting both VS Code and my computer, with no success. Is there some kind of "hard reset" that I can do, or should I consider reinstalling?

Arthur Paulino (Feb 10 2022 at 04:11):

Are you editing files from a long chain of imports (like mathlib files)?

Hans Parshall (Feb 10 2022 at 04:12):

These are all local files, but a few depend on one another and they import from mathlib

Hans Parshall (Feb 10 2022 at 04:13):

I can try removing import statements and see if it breaks


Last updated: Dec 20 2023 at 11:08 UTC