agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard

Published 20 hours ago • verified publisher icon agda

lsp 2

Open andreasabel opened this issue 1 year ago • 0 comments

  • From Agda 2.6.3 use Agda.TypeChecking.Error.explainWhyInScope
  • Use showInfoError from EmacsTop rather than duplicating it here
  • v0.2.6.4.0: Build with and embed Agda-2.6.4
  • WIP: migrate to lsp-2 (does not build yet)

This PR is just to save the current progress, #22 should be merged first. Currently need to migrate:

  • [x] Hover (lsp-2 dropped HoverContents and markedUpContent)
  • [ ] Server.hs

andreasabel avatar Nov 30 '23 07:11 andreasabel