# Changelog
All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
## v7 - 2026-09-16
### Added
- #48: Support for building a WASI reactor module via a flag by [@andy0130tw](https://github.com/andy0130tw).
- CI workflow to publish releases to Hackage.
### Changed
- Redesign native Stack caching: single-writer, exact-match cache keys for the toolchain and compiled-dependency caches.
- Require exact cache hits for the WASM toolchain and native-utilities (alex/happy) caches.
- Hash the workflow file itself into the compiled-dependency cache key, so changes to the build commands invalidate stale caches.
- Pin `haskell-actions/setup` to a full commit SHA instead of a mutable tag.
### Fixed
- #47: Fix a broken link to the release page by [@xnuk](https://github.com/xnuk).
- Install clang64 ICU and pkgconf on Windows CI builds.
- Fix the WASM `dist-newstyle` cache key to catch gitlink-only submodule bumps.
- Fix alex/happy datadir loss across native-utilities cache restores.
- Restore the ghcup cache before Haskell setup on macOS.
- Pin the `yq` version on Windows to avoid GitHub API rate-limit failures.
- Reuse the ghcup-installed GHC instead of Stack's own copy.
- Stop treating a version print as WASM toolchain validation.
- Drop the invalid `-with-rtsopts` `ghc-options` entry from the library stanza, which caused Hackage to reject package uploads.
## v6 - 2026-04-11
### Added
- Support for Agda-2.8.0.
- WASM build and release artefacts by [@andy0130tw](https://github.com/andy0130tw).
- Development and stable release artefacts for all supported Agda versions: Agda-2.6.4.3, Agda-2.7.0.1, and Agda-2.8.0.
- Separate release artefacts for macOS Apple Silicon and Intel Macs.
- #39: Agda setup support for Agda-2.8.0 by [@andy0130tw](https://github.com/andy0130tw).
- #40: JSON interaction mode response option by [@andy0130tw](https://github.com/andy0130tw).
- #45: Support multiple `+AGDA ... -AGDA` blocks in CLI arguments by [@juliapath](https://github.com/juliapath).
- WASM-specific test target.
### Changed
- Use single-digit language server release tags such as `v6`.
- Drop Agda-2.6.3 support from the release matrix.
- Target Agda-2.6.4.3, Agda-2.7.0.1, and Agda-2.8.0.
- Build supported Agda targets with the GHC 9.10.2 Stack configuration.
- Publish the rolling `dev` prerelease from `master`.
- Replace the retired `macos-13` GitHub Actions runner with `macos-15-intel`.
### Fixed
- #44: Keep WASM RTS options in `package.yaml` so generated Cabal metadata does not drift by [@juliapath](https://github.com/juliapath).
- Fix native and WASM compatibility issues by [@andy0130tw](https://github.com/andy0130tw).
- Fix WASM CI for Agda-2.8.0 by checking out the matching Agda WASM submodule revision.
- Fix WASM dependency resolution by pinning the WASM Cabal package set.
- Fix dev release publishing so native and WASM artefacts are uploaded by the final release job.
- Fix WASM `dist-newstyle` cache restore/save key mismatch.
- Fix unsafe use of `Data.List.head` in rich-text rendering.
## v0.2.7.0.1.5 - 2024-12-18
### Added
- New command line option `--version` and `-V` for printing version information.
## v0.2.7.0.1.4 - 2024-12-6
### Changed
- Target only 3 versions of Agda at a time: Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3.
## v0.2.7.0.1.3 - 2024-12-5
### Fixed
- Add dummy LSP handlers for `initialized`, `workspace/didChangeConfiguration`, `textDocument/didOpen`, `textDocument/didClose`, `textDocument/didChange`, and `textDocument/didSave` to avoid errors in the client.
## v0.2.7.0.1.2 - 2024-12-4
### Fixed
- Release of artefacts on macOS
## v0.2.7.0.1.1 - 2024-12-4
### Added
- #29: Integration testing for the language server
- Prebuilt binaries for Intel x64 macOS
- Support for Agda-2.7.0.1
### Changed
- Unfied workflow for building and testing the language server across all platforms
## v0.2.7.0.1.0 - 2024-12-2
### Added
- #22: agda 2.6.4 by [@andreasabel](https://github.com/andreasabel)
- #23: lsp 2 by [@andreasabel](https://github.com/andreasabel)
### Fixed
- Version information of the language server
## v0.2.6.4.0.3 - 2023-12-14
### Fixed
- #15: Add missing handlers for `lsp` methods.
- #24: Fix the encoding of binaries built on GitHub Actions.
- Patch path to the "data" directory when the executable is built on GitHub Actions.
## v0.2.6.4.0.0 - 2023-12-12
### Changed
- 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.
### Added
- Build flag `Agda-2-6-3` to embed Agda-2.6.3 rather than 2.6.4.
## v0.2.6.3.0 - 2023-11-23
### Changed
- 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.
### Added
- Build flag `Agda-2-6-2-2` to embed Agda-2.6.2.2 rather than 2.6.3.
## v0.2.6.2.2.1 - 2023-11-21
### Added
- Building with `lsp-1.6`.
Builds with `lsp` < 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26).
## v0.2.6.2.2 - 2023-11-21
### Changed
- 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).
## v0.2.1 - 2021-10-25
No changes.
## v0.2.0 - 2021-10-22
### Fixed
- #2: Allow user to supply command-line options via agda-mode
## v0.1.4 - 2021-10-04
### Fixed
- Resume sending HighlightingInfos to agda-mode
## v0.1.3 - 2021-10-04
### Fixed
- Include DLLs in the bundle
## v0.1.2 - 2021-10-03
### Fixed
- #5: Connection Error