Capture the correct loc for when an import fails.

coq / vscoq

Visual Studio Code extension for Coq

MIT License

336 stars 68 forks source link

Closed rtetley closed 7 months ago

rtetley commented 7 months ago

Explicit the corresponding errors and get the loc from the qualid, which solves a silly display bug.

rtetley commented 7 months ago

Added the optcomp, and created https://github.com/coq/coq/pull/18694 correcting the coq API

rtetley commented 7 months ago

@gares is this okay ?