* Forbid the non-show methods from Show

* Reward extracts that use user-bound variables

* Debu...

* Be much more intelligent about splitting matches

* Add some tests

* Hlint makes my life wors...

* Review early cutoff fingerprints

Some of these were unnecessary, while others were very ine...

* Package ghcide code actions

* HLint

* Expand and remove TH, Remove the existential type
...

Even if the rule body does not produce diagnostics, it is still possible to get
a BadDependency...

* add an option to control progress reporting

* remove redundant imports

* Tracing: avoid call...

Co-authored-by: Javier Neira <[email protected]>

* define rules without diagnostics

* Export getFileContents rule definition

* Reexport new def...

* Simplify module structure

* Update cabal file with default extensions and Wall

* Remove lang...

* Add some more debug show instances

* Construct a better method hypothesis

* Haddock and slig...

* Extract a Brittany plugin

* Add the brittany plugin to all the stack descriptors

* Extra...

* Extend file watching to interfaces

* Close Shake session before exit in order to dump Shake p...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Make Wingman produce user-facing error messages

* Add a few tests to check the notifications ...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Extend file watch suscriptions to monitor changes

* file watch notifications for GetModificat...

* Revert "Reenable HLS benchmark"

This reverts commit e9adb3d2ef472e9296b8f38a4dc4626a4c8befd...

* Add kind and preferred flag for all Wingman code actions

* Shorten lambdacase kinds

* destru...

* Split GoldenSpec into more manageable chunks

* Move line/col arguments before file path for b...

* Retrieve Type from typecheck result for type lenses

* Fix pattern synonym, add tests

* Add t...

* Determine when to use parentheses in graft

* Cleanup the ExactPrint changes

* Better comment...

* Add new variables to the extract when doing intros

* Implement the correct top-level hypothes...

* Add haddock upper bound

* Update index to get haddock last version

* Faster ModSummary fingerprints

The computation of these fingerprints was very suboptimal.
...

Co-authored-by: Junyoung/Clare Jang <[email protected]>

* Ignore ci for some paths

* Run ci for all branches

* Ignore nix dir

* Update .github/workfl...

Co-authored-by: Junyoung/Clare Jang <[email protected]>

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Make sure split respects GADT equalities

* Unnecessary do

Co-authored-by: Junyoung/Clare Jan...

* Enable hls-tactics-plugin tests in CI

* Revert a bug in `auto` that caused test failures

We were passing the wrong DynFlags here, causing most modules with a LANGUAGE pragma
to fail the...

Co-authored-by: Pepe Iborra <[email protected]>
Co-authored-by: Potato Hatsue <1793913507@qq....

* Use try' everywhere

* Make refine much less aggressive

Co-authored-by: mergify[bot] <3792916...

To include the fix for #591

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.g...

* Add DestructAll tactic

* Don't use guard in IO

Missing features were accidentally blocking a...

* Remove recursion from TacticState

* Use lenses to simplify Synthesize changes

* Minor cleanu...

* Don't use record notation for single-field datacons

* Comment as to why this new check is here

* Implement "use constructor" code action

* Haddock

* Make use ctor actions configurable

* Un...

* Implement "use constructor" code action

* Haddock

* Make use ctor actions configurable

* Un...

* Use las ghc-lib-8.10

* Use runtime libdir for ghc-8.10

* Use ghc-lib-8.10.4

Co-authored-by:...

* Store total number of arguments in TopLevelArgPrv

* Re-enable tracing other solutions

* Docu...

* Customize the unitId used for the internal component

* add comment

* change default fake...

* Extract the qualified name from already imported module

* Minor format

Closes #1436

* Add code action for importing class methods

* Format ExactPrint

* Format CodeAction

* Refor...

* Update nix-shell excludes regexs

* Format all files

* Use a newtype

* Avoid O(n) operation in loop

HMS.size is O(n) and getPathId gets called in t...

Co-authored-by: Ishmum Jawad Khan <[email protected]>
Co-authored-by: Javier Neira <atreyu.bb...

* Move tactic tests to be standalone

* Cleanup AutoTupleSpec

* Move from tasty to hspec

Co-au...

* Prepare 1.0.0 release

* Bump versions to 1.0.0.0

* Refactor pragmas plugin

* Revert some format changes

* Run pre-commit hook

* Fix and ...

* Fix pre-commit-hook to work with GHCIDE codes

pre-commit does not load stylish-haskell config...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Co-authored-by: Ju...

Reenable HLS example benchmark

* Add a test for #1376

* add missing files

* fix identifiers

It was likely forgotten to add in this change:
<https://github.com/haskell/haskell-language-ser...

* Implement featuresets

* Make Tactics tests run with a full feature set

* Respond to feedback...

Co-authored-by: Junyoung/Clare Jang <[email protected]>

* Use last with-utf8

* Use last with-utf8 in all stack.yamls

* Remove duplicate with-utf8 entr...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Bump plugins versions

* Bump minBounds

Co-authored-by: mergify[bot] <37929162+mergify[bot]@u...

* Use object code for TH+UnboxedTuples/Sums

* ignore tests in windows

* add cabal flag for pat...

* Add pre-commit-hook

* Update CONTRIBUTING.md

* Reduce stylish-haskell configs

* Fix the format for GenChangelogs script

* Update the changelog format

Co-authored-by: mergif...

* Agda splitting machinery

* Expand decls!

* Only very top-level lambda to args

* Preserve to...

It times out since the lsp-1.0 patch, and I don't have time to look into it

* Expose more rule definitions

* Update release notes

* getInitialGhcLibDir

* Fix build and use Data.Default consistently

* Fix log line

* Fix buil...

* Agda splitting machinery

* Expand decls!

* Only very top-level lambda to args

* Preserve to...

Co-authored-by: wz1000 <[email protected]>
Co-authored-by: mergify[bot] <37929162+mergify[b...

HLS is too chatty. Lowering the severity of some log messages should indirectly
increase the vis...

* Show window message when auto extending import lists

* Include range info in the message (usi...

* Add test for multi-component goto def and make runLanguageServer responsible for hiedb

* clea...

* Drop package dependencies (not used anywhere)

* expose FindImports module

* drop transitiveN...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Catch GHC errors in listing module names

* Move visible module names to HscEnvEq

* Make envV...

* WIP integrate haskell-lsp-1.0.0.0

some progress

Mostly everything except LanguageServer.hs

...

* Sanitize the setup of the default Ide.Config

* fix getClientConfigAction

* fix Hlint

* upda...

* More tests of overlapping methods

* Do a simplification pass of the extract

* Do less work w...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Use par_lbl rather than gre_name for field selectors

* Add test