All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog.
- New command line option
--versionand-Vfor printing version information.
- Target only 3 versions of Agda at a time: Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3.
- Add dummy LSP handlers for
initialized,workspace/didChangeConfiguration,textDocument/didOpen,textDocument/didClose,textDocument/didChange, andtextDocument/didSaveto avoid errors in the client.
- Release of artefacts on macOS
- #29: Integration testing for the language server
- Prebuilt binaries for Intel x64 macOS
- Support for Agda-2.7.0.1
- Unfied workflow for building and testing the language server across all platforms
- #22: agda 2.6.4 by @andreasabel
- #23: lsp 2 by @andreasabel
- Version information of the language server
- #15: Add missing handlers for
lspmethods. - #24: Fix the encoding of binaries built on GitHub Actions.
- Patch path to the "data" directory when the executable is built on GitHub Actions.
- Embed Agda-2.6.4.
- Builds with
lsp< 1.7 on GHC 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.
- Build flag
Agda-2-6-3to embed Agda-2.6.3 rather than 2.6.4.
- Embed Agda-2.6.3.
- Builds with
lsp< 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.
- Build flag
Agda-2-6-2-2to embed Agda-2.6.2.2 rather than 2.6.3.
- Building with
lsp-1.6. Builds withlsp< 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26).
- Embed Agda-2.6.2.2.
- Versioning scheme: x.a.b.c.d.y where a.b.c.d is the 4-digit Agda version (2.6.2.2), x is 0 but may be bumped for revolutionary changes to the agda-language-server, and y is for patch releases.
- Builds with
lsp< 1.5 on GHC 8.10 (LTS 18.28) and 9.0 (LTS 19.33).
No changes.
- #2: Allow user to supply command-line options via agda-mode
- Resume sending HighlightingInfos to agda-mode
- Include DLLs in the bundle
- #5: Connection Error