For some reason my vscode cannot find other compiled files of the same project, I'm guessing that maybe it is not loading the proper _CoqProject. Is there a way to have vscode print what _CoqProject was loaded by VSCoq?
I'm thinking of something along the lines of the Messages buffer on emacs, in which you'd have a line like this:
Coq project file detected: /Users/pedroabreu/gitprojects/tutoring/dale/CSE-505/hw5/_CoqProject.
Suggestions on what else should I look at to try to solve this issue is also welcome
The "Coq Language Server" pane should also have such output, but unless you change settings VsCoq will only check the project root
Where "project root" = the folder that you opened with VsCode
Sorry for the beginner question, I'm new to vscode. But how do I open this pane?
View . click on
Output [Ctrl + K Ctrl + H], then in the PullDown of the output view select
Coq Language Server
oh got it!! thank you!
awesome, I could find the issue. I was opening the project on the parent file (I didn't know this matters in vscode), so it wasn't loading the proper _CoqProject file. Thanks for the help guys!
Pedro Abreu has marked this topic as resolved.
Last updated: Feb 27 2024 at 22:02 UTC