Quickfix #780

rtetley · 2024-06-05T12:19:16Z

No description provided.

language-server/protocol/lspWrapper.ml

gares · 2024-07-11T14:01:27Z

looks much better this way!

rtetley force-pushed the quickfix branch from 4f02001 to 256f956 Compare June 14, 2024 13:21

rtetley force-pushed the quickfix branch from 256f956 to 825bf55 Compare June 26, 2024 07:43

rtetley force-pushed the quickfix branch from 2ae6ba5 to ec3d62c Compare July 9, 2024 09:25

gares and others added 7 commits July 9, 2024 17:39

Quick fix proof of concept.

d0146c4

Finish rebasing

1521266

Adapt to new quickfix API

91af996

Adding the quickfix provider.

1ed08ea

Fix new API

fc331dc

[language-server] Add support for quickfixes in errors

9f87996

Adapt to new API

e019702

rtetley force-pushed the quickfix branch from 96f6aaf to fbe4770 Compare July 9, 2024 15:39

rtetley marked this pull request as ready for review July 9, 2024 15:40

rtetley force-pushed the quickfix branch from fbe4770 to 4e80654 Compare July 11, 2024 13:53

gares approved these changes Jul 11, 2024

View reviewed changes

language-server/protocol/lspWrapper.ml Outdated Show resolved Hide resolved

Create dummy quickfix type for coq 8.18 and 8.19

7a118be

rtetley force-pushed the quickfix branch from 4e80654 to 7a118be Compare July 11, 2024 14:18

rtetley merged commit 9652026 into main Jul 12, 2024
23 checks passed

gares deleted the quickfix branch July 12, 2024 09:00

Provide feedback