Skip to content

0.5.0
Compare
Choose a tag to compare
@lukel97 lukel97 released this 04 Oct 16:11
· 3060 commits to master since this release
0.5.0
14497f2

0.5.0 comes with a new tactics plugin which provides case splitting, homomorphic case splitting, and lambda introduction:

Case splitting

It can even attempt to fully fill a hole!

Attempt to fill in hole code action

The imports lens plugin also learnt a new code action to make all imports explicit:

Explicit imports code action

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

Assets 27
Loading