Changelog for haskell-language-server-0.8.0.0
Changelog for haskell-language-server
0.8.0
- This version adds support for ghc-8.10.3
hls-plugin-api
has been bumped to 0.6.0.0 andghcide
has been bumped from 0.6.0.1 to 0.7.0.0.- It has a new brand plugin: hls-class-plugin, which helps to write class instances
- The eval plugin has been revamped, adding these new features:
- Tests in both plain comments and Haddock comments
- For Haddock comments: shows differences between latest and previous result
- Setup section, executed before every test
- Execution of a section/group of tests at the time
- Property testing
- Setup of GHC extensions
- A new tactic to generate automatically
Arbitrary
instances has been added to tactic plugin - There had been lot of internal changes:
- ghcide lives now directly in this repository
- the test suite has been cleaned and improved (continuing the work done in 0.7.0)
Thanks to all contributors and happy new year!
Pull requests merged for 0.8.0
- Ci fixes (#783) by @pepeiborra
- Fix extend imports regression (#769) by @pepeiborra
- Cleanup format testfiles (#765) by @peterwicksstringfield
- Retry a failed cradle if the cradle descriptor changes (#762) by @pepeiborra
- Perform memory measurement on SIGUSR1 (#761) by @pepeiborra
- Add ghc-8.10.3 support after merging ghcide repo (#721) by @jneira
- Merge ghcide repository (replacing the submodule) (#702) by @pepeiborra
- Invert the dependency between hls-plugin-api and ghcide (#701) by @pepeiborra
- Move eval plugin to hls-eval-plugin (#700) by @tittoassini
- Fix and enable progress message tests. (#698) by @peterwicksstringfield
- Add a known tactic for writing arbitrary instances (#695) by @isovector
- Introduce generic config for plugins (#691) by @alanz
- Enable get type definition tests (#690) by @peterwicksstringfield
- Fix ghc version for windows 8.10.2.2 in github build workflow (#688) by @jneira
- Add plugins conditionally at compile time (#687) by @jneira
- Implement basic Class plugin (#661) by @Ailrun
- Extended Eval Plugin (#438) by @tittoassini
0.7.1
- This is a minor bug fix release:
- It fixes an issue that removed accidentally desugarer warnings (#676).
- It disables auto extend import lists in completions, see #679.
Pull requests merged for 0.7.1
- Disable auto extend import lists in completions. It fixes #679. (#685) by @pepeiborra
- Restore kick (#676). It fixes #676. (#677) by @wz1000
- README: Remove instructions to execute data target (#675) by @andys8
- Add hlint tests over cpp, extensions and ignore hints (#674) by @jneira
0.7.0
- This version contains mainly refactors and updates of upstream packages
- It bumps up some formatter versions:
- ormolu is 0.1.4.1
- fourmolu is 0.3.0.0
- brittany is 0.13.1.0
- It uses last implicit-hie-cradle-0.3.0.2, with some bug fixes
- It uses last ghcide-0.6.0.1 with improvements and bug fixes:
- Do not enable every "unnecessary" warning by default
- Improvements over completions:
- record fields
- identifiers not in explicit import lists
- extend explicit import list automatically
Thanks to all haskell-language-server, ghcide and other upstream packages contributors (the list continue growing healthy) for make this release possible.
Pull requests merged for 0.7.0
- Miscellanous fixes: correct tactic plugin package metadata and cabal.hie.yaml/stack.hie.yaml (#672) by @berberman
- Remove unnecessary pluginId setting and user Better Map functions in tactics plugin (#669) by @jhrcek
- Do not suggest explicitly disabled pragmas (#666) by @berberman
- fixed hie.yaml.stack (#664) by @tittoassini
- Add pragmas completions (#662) by @gdevanla
- Enable code completion tests (#657) by @peterwicksstringfield
- Enable highlight unittests (#656) by @peterwicksstringfield
- Fix document symbols unit tests. (#655) by @peterwicksstringfield
- Delete duplicate cabal clause for applyrefact2 (#654) by @peterwicksstringfield
- Add extra-source-files for split plugins (#650) by @berberman
- [nix-shell] Actually use gitignore (#649) by @pepeiborra
- idempotent command and code cleanup (#648) by @tittoassini
- Split the Imports and Retrie plugins (#647) by @pepeiborra
- Simplify and Bump implicit-hie version constraints (#645) by @Avi-D-coder
- Fix and enable disabled code action unit tests, fix fallback handler (#643) by @peterwicksstringfield
- Add Ghcide hie.yaml instruction for Stack users (#641) by @Sir4ur0n
- Upgrade the Nix build system (#639) by @pepeiborra
- No longer needed to build once for Stack (#637) by @Sir4ur0n
- Preserve the last empty comment line after eval plugin (#631) by @expipiplus1
- Update fourmolu to 0.3.0.0 (#624) by @gwils
- Add hspec-discover to build-tool-depends in tactics plugin (#623) by @gwils
- Add build to ghc-8.10.2 and windows (#619) by @jneira
- Module Name Plugin: Treat modules starting with lowercase as Main module (#616) by @konn
- Bump ormolu to 0.1.4.1 (#614) by @AlistairB
- Fix fourmolu plugin inconsistent formatting (#599) by @zweimach
- Hlint: bring over idea2Message for formatting (#598) by @alanz
- Makes dictionary argument exclusion logic in Tactic plugin more robust (#508) by @konn
0.6.0
0.6.0 includes two brand new plugins!
- Hlint Plugin: it integrates hlint diagnostics and lets you apply suggestions to fix them.
- Module Name Plugin: it makes easier create new modules and modify them, suggesting the appropiate module name as a code lens.
This release also includes many improvements and bug fixes for the tactic plugin (see pull requests authored by @isovector for more details).
We have updated two essential tools used by the ide:
-
implicit-hie
: to fix a bug present when loading cabal based projects with executables containingother-modules
-
ghcide
: the ide uses the just released version 0.5 with many bug fixes and improvements, including:- code action to remove all redundant imports
- improved support for Template Haskell
- emit desugarer warnings
Pull requests merged for 0.6.0
- Fix tasty rerun (#570) by @jneira
- Bump up ghcide submodule to version 0.5.0 (#568) by @jneira
- Refactor tactics to track hypothesis provenance (#557) by @isovector
- Use bash shell to allow its idioms (#552) by @jneira
- Ignore flakey tactics test (#546) by @isovector
- Better scoring metric for deriving safeHead (#545) by @isovector
- Discover skolems in the hypothesis, not just goal (#542) by @isovector
- [retrie] Fix code action title (#538) by @pepeiborra
- Tactics support for using given constraints (#534) by @isovector
- Add missing tactic subpackage in default stack.yaml (#529) by @jneira
- Use implicit-hie-0.1.2.0 (#528) by @jneira
- Wait for diagnostics in tactics tests (#525) by @isovector
- Fix a bug in tactics preventing split of split (#520) by @isovector
- Use infix notation for destructing and splitting infix data cons (#519) by @isovector
- Retry the build three times (#518) by @jneira
- Separate tactics into its own package (#516) by @isovector
- Add a Troubleshooting section to the README (#507) by @michaelpj
- Add GitHub Actions CI for testing (#504) by @bubba
- Fix stack build for ghc-8.8.3 failing on some machines (#503) by @luntain
- Expand explanation of how to configure HLS (#497) by @michaelpj
- Module Name Plugin (#480) by @tittoassini
- Allow hole filling to deal with recursion (#472) by @isovector
- Restrict editor config to Haskell file, to avoid affecting Makefiles or other tab-based formats (#442) by @tittoassini
- Hlint plugin using ghc-lib (#166) by @jneira
0.5.1
0.5.1 is a minor bug fix release, mainly fixing an issue with the eval plugin as well as upgrading the ormolu and stylish-haskell dependencies.
Pull requests merged for 0.5.1
- Minimal fix for eval regression (#488) by @pepeiborra
- Bump stylish-haskell to 0.12.2.0 (#482) by @maksbotan
- Improve the emacs instructions a little (#479) by @michaelpj
- Update README: HLS is no longer in very early stage (#475) by @Anrock
- Tactic plugin: Excludes Dictionary arguments in GADTs in Destruct Tactic (#474) by @konn
- Update doom emacs install instructions in README (#470) by @iyefrat
- Add ghc-8.10.2 to circleci (#464) by @jneira
- Bump ormolu to 0.1.3.0 (#422) by @AlistairB
0.5.0
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:
There's also plenty of bug fixes, improvements and updates to the underlying tools, including Fourmolu, implicit-hie-cradle 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 for 0.5.0
- 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
0.4.0
0.4.0 introduces the import lens plugin, which can convert your import statements into qualified imports, or into an explicit import list:
The eval plugin has also learnt two new commands, :type
and :kind
:
{-# LANGUAGE TypeApplications #-}
foo :: Show a => a -> String
foo = show
-- >>> :type foo @Int
-- foo @Int :: Int -> String
-- >>> :type +v foo @Int
-- foo @Int :: Show Int => Int -> String
-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind N + M + 1
-- N + M + 1 :: Nat
-- >>> type N = 1
-- >>> type M = 40
-- >>> :kind N + M + 1
-- N + M + 1 :: Nat
There is now also support for GHC 8.10.2, and a new haskell-language-server --probe-tools
command to help debug what version of each tool HLS is using.
$ haskell-language-server --probe-tools
haskell-language-server version: 0.3.0.0 (GHC: 8.10.1) (PATH: /Users/luke/.cabal/store/ghc-8.10.1/hskll-lngg-srvr-0.3.0.0-7c6d48c3/bin/haskell-language-server)
Tool versions found on the $PATH
cabal: 3.2.0.0
stack: 2.3.3
ghc: 8.10.2
Pull requests merged for 0.4.0
- Bring over a tutorial about how to add hls plugins (#372 by @bubba)
- Update the ghcide upstream to be in haskell/ghcide (#370 by @alanz)
- Add ISSUE_TEMPLATE for github (#305 by @fendor)
- Add use-package to the list of emacs packages (#343 by @rgleichman)
- Implements
:type [+v/+d]
in Eval Plugin (#361 by @konn) - Bump bounds of hie-bios to 0.7.0 (#357 by @maralorn)
- Fix ImportLens plugin to work with GHC 8.10 (#356 by @Ailrun)
- Add single file rewrites and ignore unknown files (#321 by @pepeiborra)
- Do not suggest explicit import lists for qualified imports (#354 by @expipiplus1)
- Explicit imports lens (as seen on Twitter) (#310 by @pepeiborra)
- Adds
:kind
and:kind!
commands to Eval Plugin (#345 by @konn) - tech(nix): update niv and remove allowbroken (#350 by @willbush)
- Update VS Code Haskell URL/repo (#338 by @Sir4ur0n)
- doc(hack): Add explanation to hack and test HLS (#329 by @Sir4ur0n)
- Apply the module pragmas for evaluation (#322 by @pepeiborra)
- Copy working stack-8.6.5.yaml to stack.yaml (#332 by @jneira)
- tech(nix): Allow broken as retrie is marked as broken (#331 by @Sir4ur0n)
- feat(git): Add install/hie.yaml to gitignore (#328 by @Sir4ur0n)
- Replace wrong occurrences of "engine" by "server" (#319 by @tchoutri)
- Simplify coc.nvim instructions (#315 by @oblitum)
- Coc config file requires a {} nesting everything (#317 by @hyiltiz)
- Restrict opentelemetry version for stack builds (#312 by @jneira)
- Add support for ghc-8.10.2 (#308 by @jneira)
- Return nothing if tool is not on the PATH (#309 by @fendor)
- Probe tools cli (#306 by @fendor)
- Add fourmolu plugin (attempt 2) and add Brittany for ghc-8.10.1 (#264 by @georgefst)
0.3.0
0.3.0 comes with two new plugins, retrie and fourmolu, provides binaries for GHC 8.8.4, and comes with a host of bug fixes.
The retrie plugin supports RULES, functions and type synonyms which can be accessed through contextual code actions.
Fourmolu can be used to format your code by setting the
haskell.formattingProvider
field in your LSP configuration to
{
"haskell": {
"formattingProvider": "fourmolu"
}
}
The Brittany formatter is now also available on GHC 8.10.1.
Pull requests merged
- Fix haddock parse error in install.hs (#255 by @georgefst)
- Ormolu flags (#246 by @pepeiborra)
- Ormolu fix (#257 by @sureyeaah)
- Remove redundant CircleCI steps (#259 by @bubba)
- Slow down Tasty by limiting it to -j1 (#261 by @bubba)
- Remove hspec-expectations (#260 by @bubba)
- Remove a redundant caching step (#262 by @Ailrun)
- add hie.yaml to coc configuration (#267 by @sureyeaah)
- Initial Retrie plugin (#266 by @pepeiborra)
- Add exe extension to win executables (#284 by @jneira)
- Use wz1000/hls-3 ghcide branch (#275 by @alanz)
- Fix rename capability being declared (#285 by @bubba)
- Add CI job for 8.8.4 (#287 by @bubba)
- Make the AGPL flag manual in cabal (#250 by @fendor)
- Bring in doc URL fix for Windows (#289 by @bubba)
- Bring in fix for libm on Linux static binaries (#293 by @bubba)
- Add fourmolu plugin (attempt 2) and add Brittany for ghc-8.10.1 (#264 by @georgefst)
- Trying new hls-3 branch (#300 by @alanz)
0.2.2
This changes the configuration section from "languageServerHaskell" to "haskell" to align it with vscode-haskell-1.0.0. Whilst the old section is still supported for now, you should update your LSP configuration (which varies per client) from
{
"languageServerHaskell": {
"formattingProvider": "stylish-haskell"
}
}
to
{
"haskell": {
"formattingProvider": "stylish-haskell"
}
}
Pull requests merged for 0.2.2
- Mention docs on hover feature in README (#209 by @georgefst)
- Add static binaries for ghc-8.8.4 (#224 by @bubba)
- Rename the configuration section from languageServerHaskell => haskell (#227 by @bubba)
- Use -haddock for cabal and stack (#214 by @jneira)
- slightly better shell.nix for local development (#235 by @pepeiborra)
- Shell nix further steps (#240 by @pepeiborra)
- Add numeric-version option for wrapper and server (#241 by @fendor)
- Accept the legacy "languageServerHaskell" config name (#243 by @bubba)
- Fix for Eval plugin: Error from tests not reported (#244 by @tittoassini)
- Rename binaries before uploading (#248 by @bubba)
0.2.1
This release includes a new eval plugin that allows Haddock code examples to be
evaluated through a code lens. For example, the code below will now offer to
evaluate intercalate " " example
, and will insert the output in the line
below.
example :: [String]
example = ["This is an example", "of", "interactive", "evaluation"]
-- >>> intercalate " " example
-- "This is an example of interactive evaluation"
--
This is also the first release to have binaries distributed alongside it. Some
behind the scene changes include the GHC library directory now being obtained on
the fly, so either ghc
, cabal
or stack
will need to be present on your
PATH depending on your project. See docs/releases.md
for more information. If
you find any issues with this, please let us know!
Pull requests merged for 0.2.1
- Bump ormolu to 0.1.2.0 (#189 by @AlistairB)
- Remove dependency on Cabal (#195 by @bubba)
- Fix extraneous extra-dep in stack-8.6.4.yaml (#199 by @bubba)
- Fix install script stack targets (#203 by @jneira)
- Add support for ghc-8.8.4 (#206 by @jneira)
- Simple Eval plugin (#191 by @pepeiborra)
- Distributable binaries (#165 by @bubba)
0.2
- Use cabal-plan from Hackage (#185 by @georgefst)
- Bump ghcide to wz1000 hls-2 branch (#184 by @alanz)
- doc(preprocessor): Document the preprocessor limitation (#177 by @Sir4ur0n)
- Use shell.nix from Haskell-IDE-Engine (#169 by @fendor)
- Remove last occurrences of shake.yaml (#163 by @fendor)
- Use an unique install/stack.yaml (#154 by @jneira)
- Introduce golden testing (#152 by @Ailrun)
- Revert "Use bullet as separator instead of HR" (#150 by @alanz)
- feat(hie-bios): Multi-cradle, ignore directories (#147 by @Sir4ur0n)
- [Plugin] stylish-haskell formatter (#146 by @Ailrun)
- Separate ghcide tests and disable them for now (#137 by @jneira)
- Convert private lib in common stanza (#136 by @jneira)
- Add zlibc to readme (#134 by @Sir4ur0n)
- Complete editor integrations (#132 by @jneira)
- Remove inexistent component from hie.yaml.stack (#131 by @jneira)
- Bump to new mpickering/ghcide (#130 by @alanz)
- Update ghc-lib-parser version (#129 by @jneira)
- Remove redundant import (#128 by @bubba)
- Default the number of Shake threads to 0 (automatic) (#127 by @bubba)
- Added kakoune integration instructions (#125 by @414owen)
- Fix install script dev target (#124 by @jneira)
- Add plugin support for Rename providers (#123 by @pepeiborra)
- Add jobs for stack and cabal using ghc-8.10.1 (#120 by @jneira)
- Add lower bound to tasty-ant-xml (#119 by @jneira)
- Fix build using brittany revision (#117 by @jneira)
- Use floskell released version 0.10.3 (#116 by @jneira)
- Add emacs/doom-emacs integration sub-section (#115 by @yuanw)
- Port hie README partially (#112 by @jneira)
- Use cabal-helper-1.1, add stack-8.10.1.yaml and unify cabal.project's (#108 by @jneira)
- [#87] Fix completion via ghcide's
getCompletionsLSP
(#107 by @korayal) - Create specific project file for ghc-8.10. (#106 by @jneira)
- Issue 5 - Move HIE Tests and convert to Tasty (#105 by @jeffwindsor)
- Hls update latest hie bios (#100 by @fendor)
- Update extra-deps to use latest fork version of shake (#98 by @fendor)
- Activate typechecking in non-lsp mode (#95 by @jneira)
- Fix haddock parsing errors (#92 by @jneira)
- Update for haskell-lsp 0.22 (#89 by @alanz)
- Get building with ghc-8.10 (#83 by @bubba)
0.1
In this version
- cabal to 2020-05-02T10:11:15Z
- stack-8.8.3 to lts-15.10
- stack to nightly-2020-05-01
Changes
This is the initial version, so too many to list individually.
The key point is that is now supports multi-component cradles, and has been in daily use by the developers for some time.
It still does not have feature parity with haskell-ide-engine
, but it is
currently useful.