0.8.0

• This version adds support for ghc-8.10.3
• hls-plugin-api has been bumped to 0.6.0.0 and ghcide 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.8.0.test

Test release

0.7.1.test

Fix ghc version for windows 8.10.2.2

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 containing other-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

• 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