Code

Quickfix#780

Code

Merged

rtetley merged 8 commits intomaincoq/vscoq:mainfrom quickfixcoq/vscoq:quickfixCopy head branch name to clipboardJul 12, 2024

+244-65

Commits

Commits on Jul 9, 2024

• Quick fix proof of concept.

  

  gares

  authored and

  rtetley

  committed
  d0146c4

  Copy full SHA for d0146c4

• Finish rebasing

  rtetley

  committed
  1521266

  Copy full SHA for 1521266

• Adapt to new quickfix API

  rtetley

  committed
  91af996

  Copy full SHA for 91af996

• Adding the quickfix provider.

  rtetley

  committed
  1ed08ea

  Copy full SHA for 1ed08ea

• Fix new API

  rtetley

  committed
  fc331dc

  Copy full SHA for fc331dc

• [language-server] Add support for quickfixes in errors

  rtetley

  committed
  9f87996

  Copy full SHA for 9f87996

• Adapt to new API

  rtetley

  committed
  e019702

  Copy full SHA for e019702

Commits on Jul 11, 2024

• Create dummy quickfix type for coq 8.18 and 8.19

  rtetley

  committed
  7a118be

  Copy full SHA for 7a118be