Comments are not parsed - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

336 stars 68 forks source link

Comments are not parsed #728

Closed rtetley closed 5 months ago

rtetley commented 8 months ago

Currently, the parser does not handle comments. This causes havoc in many cases:

When large files have a lot of comments this causes performance issues
When lines are commented or uncommented this creates very buggy document states

This is linked to https://github.com/coq/coq/issues/12413 and should be first fixed upstream