0.5.0 comes with a new tactics plugin which provides case splitting, homomorphic case splitting, and lambda introduction:
It can even attempt to fully fill a hole!
The imports lens plugin also learnt a new code action to make all imports explicit:
In the absence of an explicit hie.yaml file, implicit-hie-cradle is now used to generate a cradle.
There's also plenty of bug fixes, improvements and updates to the underlying tools, including Fourmolu and ghcide. Some of the improvements from ghcide include:
- The entire project is typechecked on load
- Reverse dependencies of a module are typechecked upon saving
- Code completion includes local terms
- Import code actions now also suggest open imports
- Documentation on hover shows for symbols defined in the same module
If you're eager to try all this out, haskell-language-server is now also installable via ghcup:
$ ghcup install hls
Pull requests merged
- Update GHC version 8.12 to 9.0 in README
(#460) by @maralorn - Update Fourmolu to 0.2
(#455) by @georgefst - Generate .gz tars of all the binaries for macOS and Linux in GitHub Actions
(#454) by @bubba - install: create hls hardlinks instead of copies except on Windows
(#451) by @juhp - wrapper: cd to --cwd earlier
(#448) by @ocharles - Update README.md
(#446) by @moodmosaic - Upate Emacs setup notes
(#440) by @gdevanla - Use ghcide master and prepare hls-plugin-api-0.4.1.0
(#439) by @jneira - Add a code action to make all imports explicit
(#436) by @pepeiborra - Add docs on how to choose a formatter
(#432) by @googleson78 - Implement 'Attempt to fill hole' code action
(#431) by @TOTBWF - Clarify that eval is a lens
(#428) by @Anrock - Use implicit-hie-cradle-0.2.0.1
(#427) by @jneira - [retrie] Fix uris in workspace edit
(#424) by @pepeiborra - Separate paragraphs
(#423) by @jneira - Include .editorconfig in the contributing section
(#420) by @jneira - Mention the copy of executables wit ghc version
(#419) by @jneira - Eval plugin: proper multilined results handling and command-name abbreviations
(#413) by @konn - Retrie - calculate imports in the command handler
(#408) by @pepeiborra - Progress reporting for Eval plugin
(#398) by @pepeiborra - bump ghcide submodule
(#396) by @wz1000 - Fix cradles
(#393) by @pepeiborra - Case splitting and lambda introduction
(#391) by @isovector - Use stale data in explicit imports lens
(#383) by @pepeiborra - Create hls-plugin-api and move plugins to exe
(#379) by @jneira - Rebase on ghcide HEAD
(#378) by @pepeiborra - README clarify how exactly to use code evaluation
(#377) by @DunetsNM - Revise README.md
(#374) by @gihyeonsung