Commit Graph

144 Commits

Author SHA1 Message Date
fendor
9f034f290c
Upgrade to hie-bios 0.9.1 (#2766) 2022-03-08 13:24:00 +00:00
Nick Suchecki
911fe59d7f
Change Type Signature Plugin (#2660)
* First go

* Match against specific error message.

* Basic Change Type Signature implementation.

This implementation only matches a single GHC Error message:

```
    • Couldn't match type ‘Int’
                     with ‘Data.HashSet.Internal.HashSet Int’
      Expected type: Int -> Int
        Actual type: Data.HashSet.Internal.HashSet Int -> Int
    • In the expression: head . toList
      In an equation for ‘test’: test = head . toList
```

Specifically on `Expected type: ...`, `Actual type:...` and `In an equation ...`.

There are plenty of error messages that match this format but aren't actually valid.

* GHC 9.2.0 compat change

* Lift expectedError message into a separate binding

* Move ChangeTypeAction into it's own plugin

* Add New Error Message parsing.

- Add new regex for matching extra errors message types

- Revamp original regex to match more.

- Add basic test suite.

- Begin adding `tidyActualType` semantics to provide slightly prettier
TyVars

* Added Error Message Validation to ignore bad Messages.

- Add Pretty Printing for Types
- Added a few test scenarios

* Miscellaneous Cleanup.

* Update Tide Type Signature logic.

- Be able to tidy signatures with operators in it
- Use T.words instead of regex matching to split tyVars

* Remove locA (defaults to id in 8.10) to satisfy 9.0+

* Touch up 9.2.1

* Clean up review notes

* Update stack.yamls

* Fix copy-paste error

* Fix Local Signature resolution

* Improve logging (#2558)

* convert to contravariant logging style part 1, uses additional hardcoded log file to see it side by side with original logging

* convert Session to contravariant logging style

* convert Plugin/HLS and FireStore to contravariant logging style

* convert Rules (and most of the universe) to contravariant logging style

* fix tests, allow old style logging and contravariant logging to write to same log file

* fix import inside wrong CPP

* add CPP for LogTactic constructor

* remove redundant import

* fix ghcide tests

* remove unused import

* fix plugin tests

* LSP_TEST_STDERR should apply to contra logger as well

* fix tactic plugin test

* use CPP for Log datatype plugin constructors, remove unused imports

* add a few Pretty instances, add prettyprinter to haskell-language-sever and hls-plugin-api dependencies

* add Pretty Log instances for Session, FileStore, Notifications

* add remaining Pretty Log instances

* add logToPriorities

* fix slight interleaving issue with hslogger and logger both logging, have default logger be mutex stderr or file handle, use stderr if failing to open log file

* forgot to add .cabal files with hslogger dep

* dont use UnliftIO file IO helpers because they are too new

* remove log helper comments, use Doc instead of Text as final console/file logger input, renaming, export Log constructors

* remove accidentally added useless file, removed prettyprinter dep from hls-plugin-api because stack ghc8.6.5 doesnt have it?

* use deprecated prettyprint modules import for the sake of circleci ghc-8.6.5

* use dummy stderr logger for plugin cli commands, use priorityToHsLoggerPriority function instead of manual mapping

* remove old plugin detritus that somehow got committed

* fix prettyprinter imports for 8.6.5

* try enforcing prettyprinter bounds?

* enforcing bound makes no sense

* maybe changing stack yamls does trick

* filter out warnings when their diags are empty to more closely match original

* add ability to select wanted logging columns, match prev ghcide exe logging behaviour

* dont log anything when diags are empty in some defineEarlyCutoff versions

* use non-deprecated prettyprinter imports

* fix ghcide test module

* change logWith to accept priority at call site, remove all logToPriority functions, add cmapWithPrio that contramaps through WithPriority

* remove useless hiding import list, add comments to default recorder makers

* make cradleToOptsAndLibDir take concrete cradle to remove existential type var in Log constructor

* Types.Logger now re-exports prettyprinter, remove unused dependencies on prettyprinter and hslogger

* existential type var to remove boilerplate in Plugins.hs, remove a few Show instances

* add SourceLoc logging column, inline logToDoc functions, add comment explaining hslogger setup existence

* qualify a name to match original source

* fix -WError

* Delete the Telemetry log level (#2727)

It's a bit non-standard, and moreover it's entirely dead.

* Wall and 9.2 fix

* Remove unneeded comments/code

Co-authored-by: J. S <shenjonathan0@gmail.com>
Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
Co-authored-by: Pepe Iborra <pepeiborra@me.com>
2022-03-03 23:08:42 +00:00
fendor
0c018ac826
Upgrade to hie-bios 0.9.0 (#2738)
* Try out new hie-bios

* Update to hie-bios 0.9.0 hackage release

* Use caret operator for hie-bios dependency

Co-authored-by: Julian Ospald <hasufell@posteo.de>

* Update nix dependency

* Update hie-bios dependency in flake.nix

Co-authored-by: Potato Hatsue <berberman@yandex.com>

Co-authored-by: Julian Ospald <hasufell@posteo.de>
Co-authored-by: Potato Hatsue <berberman@yandex.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2022-02-27 14:21:20 +00:00
J. S
3b687a52ac
Improve logging (#2558)
* convert to contravariant logging style part 1, uses additional hardcoded log file to see it side by side with original logging

* convert Session to contravariant logging style

* convert Plugin/HLS and FireStore to contravariant logging style

* convert Rules (and most of the universe) to contravariant logging style

* fix tests, allow old style logging and contravariant logging to write to same log file

* fix import inside wrong CPP

* add CPP for LogTactic constructor

* remove redundant import

* fix ghcide tests

* remove unused import

* fix plugin tests

* LSP_TEST_STDERR should apply to contra logger as well

* fix tactic plugin test

* use CPP for Log datatype plugin constructors, remove unused imports

* add a few Pretty instances, add prettyprinter to haskell-language-sever and hls-plugin-api dependencies

* add Pretty Log instances for Session, FileStore, Notifications

* add remaining Pretty Log instances

* add logToPriorities

* fix slight interleaving issue with hslogger and logger both logging, have default logger be mutex stderr or file handle, use stderr if failing to open log file

* forgot to add .cabal files with hslogger dep

* dont use UnliftIO file IO helpers because they are too new

* remove log helper comments, use Doc instead of Text as final console/file logger input, renaming, export Log constructors

* remove accidentally added useless file, removed prettyprinter dep from hls-plugin-api because stack ghc8.6.5 doesnt have it?

* use deprecated prettyprint modules import for the sake of circleci ghc-8.6.5

* use dummy stderr logger for plugin cli commands, use priorityToHsLoggerPriority function instead of manual mapping

* remove old plugin detritus that somehow got committed

* fix prettyprinter imports for 8.6.5

* try enforcing prettyprinter bounds?

* enforcing bound makes no sense

* maybe changing stack yamls does trick

* filter out warnings when their diags are empty to more closely match original

* add ability to select wanted logging columns, match prev ghcide exe logging behaviour

* dont log anything when diags are empty in some defineEarlyCutoff versions

* use non-deprecated prettyprinter imports

* fix ghcide test module

* change logWith to accept priority at call site, remove all logToPriority functions, add cmapWithPrio that contramaps through WithPriority

* remove useless hiding import list, add comments to default recorder makers

* make cradleToOptsAndLibDir take concrete cradle to remove existential type var in Log constructor

* Types.Logger now re-exports prettyprinter, remove unused dependencies on prettyprinter and hslogger

* existential type var to remove boilerplate in Plugins.hs, remove a few Show instances

* add SourceLoc logging column, inline logToDoc functions, add comment explaining hslogger setup existence

* qualify a name to match original source

* fix -WError
2022-02-20 21:50:28 +00:00
Kobayashi
310e6a4683
support selection range lsp feature (#2565)
* add selection range support

* add the whole import area as a selection step

* add selection range plugin to all project files

* merge type signature with value definition

* support ghc 9

* fix it for ghc-9.0

* remove unnecessary import

* reformat GhcIde.hs

* selection range: make it easier to understand

* selection range: improve error handling

* update lsp-types to 1.4.0.1

* add selection range to doc

* fix comment for findSelectionRangesByPositions

* remove a use of partial function

* update author & maintainer

* use foldlM1 instead of foldl1

* add testdata to cabal file

* update performace tips and log level

* update lsp-types in nix

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
2022-01-24 13:13:56 +00:00
Javier Neira
2625689ad4
Add support for brittany (needs aeson-2) and floskell with ghc-9.0.1 (#2551)
* Enable tests for brittany and 9.0.2

* Enable tests for floskell plugin

* cabal-ghc901.project: naively enable brittany

* haskell-language-server.cabal: bump brittany flag <(9.0.1->9.2.1)

* Trying to add support for brittany

* Use last hackage floskell version

* Activate floskell in func-test suite

* Restrict brittany in hackage for ghc<9.0.1

* Adapt to Aeson.Key

* Update lsp source repo package

* Refer pr for butcher

* Add missing prefix

* Adapt to aeson-2 (incomplete)

* Use compat module

* Support for aeson-2 and extra-1.7.10

* Remove lsp

* Allow newer aeson for stylish-haskell

* Add needed import for non windows

* Remove insertJson and toJsonKey

* Update cabal-ghc901.project

* Missing import

* Avoid CPP by using lens-aeson

* Update hls-plugin-api/src/Ide/Plugin/ConfigUtils.hs

* Use ghcide compat module

* Use type alias in cpp

* Fix stack build for ghc-8.6.5

* Use lens-aeson key

* Use lens-aeson in func-test

* Fixup shake-bench

* Update docs

* Switch to lens ix

* Try this

Co-authored-by: Anton-Latukha <anton.latukha@gmail.com>
Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2022-01-12 16:24:53 +00:00
Michael Peyton Jones
7518a3a7eb
Upgrade to new version of lsp libraries (#2494)
* Update to latest version of lsp libraries

* Compute completions on kick

This is not only for faster completions.
 It's also needed to have semi-fresh completions after editing.
This is specially important for the first completion request of a file - without this change there are no  completions available at all

* Emit LSP custom messages on kick start/finish

useful to synchonize on these events in tests

* Fix completions tests after https://github.com/haskell/lsp/pull/376

* Restore cabal update with comments

* Use new lsp in stack 9.0.1

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
Co-authored-by: jneira <atreyu.bbb@gmail.com>
2021-12-29 09:45:25 +01:00
Pepe Iborra
807cb8f1fe
Warn if TH and Mac and static binary (#2470)
* Warn if TH and Mac and static binary

* fix up the instructions

* use hostIsDynamic

* Upgrade hie-bios version

* bump cabal index

* fix more Stack descriptors

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-12-13 12:35:44 +00:00
Nick Suchecki
1a74937ca5
HLS Plugin to provide Alternate Literal Formats. (#2350)
* Initialize and Setup Plugin Source.

* Provide Traversal Module to Haskell AST that collects Literals.

* Change Literals module to return type.

Update our parsing module to return the data type we will use in our
plugin.

The datatype: Literal

Constructors:

Overloaded - Contains an overloaded literal with a SrcSpan

NonOverloaded - Contains non-overloaded literals with a SrcSpan

NoLocation - currently unused.

This data type is bound to change. This module is designed to capture
ALL numeric literals for use in the plugin. When parsing Haskell source
tree, certain cases result in getting a plain `Expr`. This means it is
not annotated with a SrcSpan. As a result, we pass along a SrcSpan
through most functions to keep track of the most recent SrcSpan
encountered. This isn't a fool proof plan and may be removed in the
future.

* Implement Logic for actual CodeActions.

The traversal of Haskell source has been turned into a rule. This rule
generates hidden diagnostics which allow a user to run a code action
over (most) literals.

There is some "dead code" in the sense that some literals (prims to be
exact) are not allowed to be changed, despite existing in code. The
other "dead code" exists in the FormatType type. Certain extensions
exist that alter how numbers are shown or act, we make note of those
extensions but call them "NoFormat", which essentially means it's a
NOOP.

Most of the conversion is done via the Numeric module. There are plenty
of "show" functions that provide the translation of numbers into the
various formats. The only custom format is a slightly "dumb"
NumDecimal-extension-function that generates three separate options,
instead of using a numeric defined function.

* Clarify source code comments. Reformat file structure.

* Set up Test Scaffolding.

* Miscellaneous clean-up.

* Use Regex to Match Source Text.

* Remove unneccessary diagnostics from Rule.

* Update all stack versions to include new Plugin.

* Clean up Conversion.hs and AlternateNumberFormat.

Clean up function names and add supporting haddock documentation for
exported functions.

* Update cabal file bounds and add Github workflow test

* Add plugin package to all cabal.project

* Add plugin to test suite

* Push SYB changes. Test.hs is merely for testing and will be removed prior to Merge.

* Use Generics.SYB for parsing Literals from GHC Source.

Updated Literals.hs to use custom SYB traversal of the AST.

* Update hls-alternate-number-format-plugin.cabal

* WIP: run tests

* Test additions and GHC compatability changes.

* Removed dead code.

PrimLiterals were defined originally, however GHC source doesn't provide
the source text. This is one of the needs of the plugin so we don't
provide duplicate suggestions.

Swapped `Maybe Text` to `Text`. Similar to above we now ignore all
literals that have no source text attached.

Swapped `Maybe SrcSpan` to `RealSrcSpan`. Again, similar to the previous
points we now ignore literals that don't get a sourceSpan attached.
Similarly, we drop any `UselessSpan`'s as those are also not very
helpful.

* Use Set to remove duplicates from CollectLiterals Result.

Certain AST representations are traversed multiple times with the switch
to SYB. Using Set allows to easily remove duplicate Literals from our
result.

Added a test suite to monitor for regressions.

* Delete Test.hs

Inadvertently commit this file.

* Add README and bump version to 1.0.0.0.

* Update HLS cabal file for version change.

* Additional Tests.

* Update Test file to use Path library function.

* Miscellaneous Code Fixes.

- Remove unneeded imports/functions.

- Export only specified functions from each module (and add Haddock
  Comment if necessary)

- Minor text changes for accuracy

* Add README to Extra Source Files.

* Update Extra Source Files to include Test Haskell Source files.

* Update Features.md and Minor Bug Fix :)

* Add new plugins to hackage workflow

* Fix Bug caused by Minor Bug Fix.

Co-authored-by: jneira <atreyu.bbb@gmail.com>
Co-authored-by: Fendor <power.walross@gmail.com>
2021-12-01 14:12:06 +00:00
Pepe Iborra
18633c7d1a
Lock-less hls-graph (#2411)
* Fix incomplete pattern match warning in 8.8

* lock-less hls-graph
2021-11-30 10:15:26 +00:00
J. S
d0ccc2f9f3
Qualify imported names plugin (#2355)
* actual initial qualify imported names implementation

* renamed and added tests for QualifyImportedNames plugin

* fix backtick and parenthesized operators not being qualified correctly

* add tests, and remove logging

* add license, readme, and demo

* remove old demo, add slightly better demo

* remove old mp4 demo, add slightly gif demo

* update readme to use demo

* readme typo

* slight rewording of readme

* slight rewording of readme 2

* remove Demo header from readme

* don't need ShakeExtras and remove some more logging stuff

* hopefully fix ghc 9 differences, rename plugin cabal file

* forgot comma on module re-export

* minimize imports

* fix Hashmap import for ghc <= 8.8, remove unused extension pragmas

* fix hls-qualify-imported-names ghcide bound

* add test suite to CI

* add more tests for qualify imported names plugin

* change ghcide bound to match what @hololeap is doing

* add qualify imported names to feature list

* add demo, readme, test files, test hie.yaml to extra source files

Co-authored-by: Javier Neira <atreyu.bbb@gmail.com>
2021-11-29 17:58:25 +00:00
Pepe Iborra
01126b80bf
Revert "Update to latest prettyprinter API (#2352)" (#2389)
* Revert "Update to latest prettyprinter API (#2352)"

This reverts commit 1eb133f098.

This change breaks compatibility with Stackage LTS 16 (GHC 8.8)

* bump ghcide version number

* bump wingman version number
2021-11-23 12:31:02 +00:00
fendor
1eb133f098
Update to latest prettyprinter API (#2352)
* Update to latest prettyprinter API

* Update stack files to use prettyprinter 1.7.1
2021-11-14 23:04:50 +00:00
Pepe Iborra
f329a4bbf8
Revert "Inline Text.Fuzzy to add INLINABLE pragmas" (#2223)
* Revert "Inline Text.Fuzzy to add INLINABLE pragmas (#2215)"

This reverts commit 2869077e19.

* do not revert ghcide version bump

* Update version of fuzzy in stack.yaml

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-09-21 00:44:49 +00:00
Javier Neira
3bfb9b3fd9
Drop ghc support for 8.6.4, 8.10.2, 8.10.3, 8.10.4 (#2197)
* Remove outdated setup troubleshooting

* Remove ghc-8.6.4 support

* Remove ghc-8.10.2 support

* Remove ghc-8.10.3 support

* Remove ghc-8.10.4 support

* Complete list of tested ghcs

* Update stack resolvers

* Update hackage index

* Set 8.10.7 as default stack.yaml

* Use extra 1.7.9
2021-09-17 13:00:29 +02:00
fendor
ec53fcb7b5
Drop ghc-api-compat from dependency closure (#2128) 2021-09-15 19:17:40 +02:00
Pepe Iborra
a23b66c30a
Remove ghc-api source snapshot (#2156)
* Remove ghc-api source snapshot

We can replace the source snapshot with Cabal conditions.
This will unblock Hackage uploads until
https://github.com/haskell/haskell-language-server/pull/2128 lands

* fix 9.0.1 build

* add allow-newer for ghc-api-compat

* fix version bounds for 9.0.1

* fix hls-eval-plugin

* stack fixes

* added new versions of ghc-api-compat

* remove source snapshot from ghc901 cabal project
2021-09-07 12:10:18 +00:00
Oliver Madine
28222e9005
New rename plugin implementation (#2108)
* initial commit

project structure
initial test cases
directly modify source to rename references

* code style

* enable for ghc < 8.8.0

* remove aeson from build-depends

* update support

support ghc9
revert retrie version bump
disable feature by default

* enable plugin for testing

* fix test.yml

* code style, ghc9 retrie bump

remove unnecessary flag in test.yml
consistent indentation
increase retrie version for ghc 9.0.1 (decreased by mistake)

* avoid using Data.List.nub

* code style

fix typo in indentation test
break lines at 100 chars
rename some vars

* code style / performance

remove Retire dependency by using exactprint directly
group references by file to increase speed of checking `elem` per file
add test cases (typeclass, let expression)
add some documentation
fix bug when looking up reference in HieDb
improve error messages
rename some function / vars

* replace GhcPlugins import with Name import

* use GHC.Types.Name for ghc >= 9.0.1
2021-08-21 20:06:53 +02:00
Javier Neira
57ffd74486
Clean cabal project (#2097)
* Remove superflous things

* Set index-state

* Add ghc-api-compat and remove shake-bench

* Correct comment about ghc-api-compat

* Add specific project file for benchs

* Use specific project file for benchmarks

* Ensure we use lsp-1.3.0.1

* Use lsp-types-1.3.0.1 for stack

* Use lsp-types-1.3.0.1 for default stack

* Remove some more allow-newer

* Use one cabal.project

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-08-18 06:00:20 +00:00
Pepe Iborra
2fef04193c
Build with lsp 1.2.0.1 (#2059)
* Fix lsp dependency in cabal

* Fix lsp dependency in stack

* Fix build with lsp-types 1.3.0.0

* fix tests
2021-08-01 23:33:03 +01:00
Javier Neira
897109ec75
Remove .stack-work from circleci cache (#2044)
* Remove .stack-work from cache

* Deps cache only depends on resolver

* Disable executable dynamic

* Update circleci cache key

* Remove superflous test build 🤦

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
2021-07-29 06:14:45 +00:00
Lei Zhu
d815d0474d
Call hierarchy support (#1955)
* Initialize structure

* Add basic tests

* prepareCallHierarchy

* Add prepare call hierarchy tests

* Prepare call hierarchy support

* add outgoing calls

* Rename incoming to outgoing

* Add incoming calls support

* Fix panic error caused by parameters

* Prepare callhierarchy tests

* Duplication items support

* Format and add missing components for review

* Use local lsp

* Add CI test

* Fix typo

* Add flag for 9.0.1

* Change lsp repo

* Fix query error in data declaration

* Add incoming/outgoing call tests

* Add flag for test ghc 9.0.1

* Ignore test on 9.0.1

* Add 9.0.1 test

* Specifying lsp for cabal

* Refresh hiedb before incoming/outgoing calls

* Add moduleUnit on ghc 9.0.1

* Compatible with ghc 9.0.1

* Add missing qualifier

* Remove ghcide capability test
2021-07-27 22:40:04 +01:00
Pepe Iborra
45fdb25759
Enable dynamic linking in stack builds (#2031)
* Enable dynamic linking to try and avoid oom

* bump cache keys
2021-07-22 16:26:01 +01:00
Sandy Maguire
92e4bad5b6
Upgrade to refinery-0.4.0.0 (#2021)
* Upgrade refinery versions

* Get everything compiling against refinery v4

* Don't use UnderlyingState

* Every test is fucked

* Update tests
2021-07-16 21:31:18 +00:00
Javier Neira
e190a0ee80
Use implicit-hie-cradle-0.3.0.5 (#2020)
* Use implicit-hie-cradle-0.3.0.5

* Use implicit-hie-0.1.2.6 in stack.yaml's
2021-07-15 00:01:34 +00:00
Sandy Maguire
160c509fc2
Wingman: maintain user-defined fixity for definitions (#1697)
* Pass the discovered node to withSmallest/Largest

* Maintain fixity when doing case split

* New layout tests

* Fix tests

* Fix tests wrt new infrastructure

* Update stack yamls

* Update cabal index state

* Forgot a stack yaml

* New commit to hopefully fix CI

* operational is broken upstream

* I dunno what I'm doing

Co-authored-by: Javier Neira <atreyu.bbb@gmail.com>
2021-07-14 19:43:17 +00:00
Pepe Iborra
a0def3c423
Initialize ExportsMap using hiedb exports (#1989)
* Initialize ExportsMap using hiedb exports

* bump version number

* Add temporary source package to ghc901 cabal project as well

* fix stack descriptors

* remove source package overrides

* refresh cabal index state

* fix 9.0.1 build
2021-06-30 21:15:46 +01:00
Sandy Maguire
b970e25021
Enable hyphenation embedding (#1979)
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-06-25 20:21:58 +00:00
Junyoung/Clare Jang
7ba6279aa4
Add GHC 8.10.5 support (#1899)
* Add GHC 8.10.5

* Remove GHC 8.10.2

* Fix cabal build

* Downgrade bench to 8.10.4 as master do not have 8.10.5

* Add missing window builds

* Update ghc-api-compat location

* Mark a test as broken in GHC 8.10.5

* Exclude ghc 8.10.5 for MacOS CI

* Update build.yml

* Revert "Remove GHC 8.10.2"

This reverts commit b85b02903b797e63a57179ba49c02fe204e2aab6.
2021-06-10 16:22:17 -04:00
Andreas Källberg
0b3bb10cd2
Ghc 9.0.1 support for ghcide (#1649)
* hie-compat: Add basic support for ghc-9.0.1

A tiny step towards #297

* hie-compat: Remove dependency on ghc-api-compat

* hie-compat: Add more backwards compatability

* Import a bunch of upstream ghc9 fixes

* cabal.project: allow-newer: *:*

The lazy solution to making things compile

* Add more upstream fixes

* Bump patch of ghc-check

* ghcide: Add basic support for GHC-9.0.1

I tried to limit the use of CPP to the Compat module as much as possible
by re-exporting the new functions under the old names,
but there is still plenty of pragmas all over the code.

I'm using ghc-api-compat so the imports doesn't need to be changed as much.

* ghcide: Fix backwards compatability with ghc-8.8.4

* ghc9-ghcide: Fix some more issues that caused runtime errors

* Restore initDynLinker for older versions of ghc

It was probably important for something

* Fix ghc-8.6.5 compatability

* Fix completion test failures for ghc9

With this example:
f asdfgh = asd

it would suggest to complete `asd` into `asd_arNC`,
which seems to be a name it generated because of
deferred-out-of-scope-variables

* Ghc-check now supports ghc-9.0.1

* Retrie now supports ghc-9.0.1

But it's not on hackage yet.

* Restore retrie orphans

* tests: Ghc9 shows [Char] as String by default

This seems like an improvement, so just update the test-suite

* tests: Ghc9 shows TH-errors after the dollar sign

Instead of including it like older versions did

$(foo)
  ~~~~
  some TH error/warning

* Fix two more test failures

- GHC9 uses a more lenient haddock parser
- TH2.17 has polymorphic Q monad with a type class

* ghc9: Fix "Remove redundant imports" code action

In ghc9, only the specific unused function is highlighted,
instead of the whole line.

* ghcide-tests: Show errors where they are caused

instead of deep inside some generic helper function

* Only use nub on SrcSpan for ghc>=9

* Remove more CPP pragmas

* Remove a bit more CPP

This could almost be handled by ghc-api-compat,
but if it was imported from TyCoPpr, it doesn't work with
ghc < 8.10

* Update stack files to support new versions

* Use the version of retire on hackage

The new version is now released

* Don't use allow-newer: *:*

* ghcide-tests: Enable test no longer broken in ghc9

* Update hiedb version for ghcide

* Adjust for a minor change in test output for ghc9

* Fix benchmark test for ghc9

Cabal-3.2 is not buildable on ghc9, but 3.4 is builable on older ghc.

* Mark minor issues as broken for ghc9

Ghc9 highlights both the constructor and the other fields

Maybe this should just be accepted and not seen as broken?

* haddock-comments-plugin: Ghc9 support

* hls-eval-plugin: Partial ghc9 support

* WIP: hls-eval-plugin: Partial ghc9 support

* hls-explicit-imports-plugin: Add ghc9 support

Now ignores any imports with Unhelpful locations,
since we can't make a map of SrcLoc

* hls-retrie-plugin: Add ghc9 support

* hls-hlint-plugin: Add ghc9 support

* Fix backwards compatability of hlint plugin

* Fix stack builds

(Broken by previous hlint fixes)

* Disable tests when their required plugins are disabled

Not all plugins are supported on ghc9 yet, but we
still want to run the tests for the supported parts

* ghc9: Fix module name plugin

* Add a stack file and run tests for ghc9 in ci

* Add missing packages to ghc-9 stack

* Resolve rebase issues

Maybe it's better to create merge commits instead?

* Allow newer for more packages so cabal stops complaining

These aren't really working, but since they are dependencies
of packages in the `packages:` section
the resolver won't allow us to build anything without this, even if
those plugins are disabled.

* Replace MIN_GHC_API_VERSION with MIN_VERSION_ghc

* Revert incorrect change to hlint code

* Remove remaining traces of GHC_LIB flag

* Add back ghc 9 to github workflow

* Revert "Add back ghc 9 to github workflow"

This reverts commit c465a1e51a.

* hie-compat: Add basic support for ghc-9.0.1

A tiny step towards #297

* hie-compat: Remove dependency on ghc-api-compat

* hie-compat: Add more backwards compatability

* Disable CI for ghc9

* Use newer version of apply-refact

* Don't needlessly duplicate code from ghc

* hie-compat: Reexport the original version of HieBin

* Don't include broken "allow-newer"s

* FIx stack build for ghc9

* Fix warning from imperfect merge commit

* Don't needlessly duplicate code from ghc

* hie-compat: Reexport the original version of HieBin

* Add missing ghc-api-compat

* Fix ghc9 build for ModuleName

* Add more conditionals on flags for tests

* Add a separate cabal.project file for ghc9

As far as I know, this is the only way to disable the packages who's
dependencies doesn't compile in GHC9 yet.

* Fix and re-enable CI for GHC9

* Remove accidental non-breaking space

* Fix CI build for ghc9

Since we are changing the flags for haskell-language-server,
which CI renames to hls,
we need to use the shortened name in those flags as well

* Run tests for ghc9 in CI

* Minor CI changes

* Use proper values when enriching hie

* Don't try to test hls-refine-imports-plugin on ghc9

* Update comment about ghc9 crashing on initDynLinker

* setSessionDynamicFlags to prevent ghc9  from crashing

The only way to set the dynamic linker is with the function `setSessionDynFlags`
so we call it with the result from `getSessionDynFlags` to give it a
(hopefully sensible) argument.

See also this commit:
18757cab04

* Revert "setSessionDynamicFlags to prevent ghc9  from crashing"

This reverts commit 4065ac8394.
That change made the "ghcide.cradle.muli" tests fail.

* Simplify logic in hls-hlint-plugin.cabal

* Add comment on OldRealSrcSpan

* Remove source overrides for non-ghc9 builds in cabal.project

* Remove commented out code

Co-authored-by: Pepe Iborra <pepeiborra@me.com>

* Remove resolved question from comment

"This code is only concerned with extracting argument names, so I don't see how multiplicity would be relevant here"
https://github.com/haskell/haskell-language-server/pull/1649#discussion_r642606967

* ghc9: Update to latest version of LSP per

* cabal-ghc901.project: Remove commented out code

* Update the lsp commit hash for stack as well

* Use a version of lsp without haskell/lsp#326

That patch was causing test failures, but the issues
should be fixed for real at some point, so that patch can be incluede

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
Co-authored-by: Pepe Iborra <pepeiborra@me.com>
2021-06-06 18:16:29 +01:00
Javier Neira
da72a27e6f
Use last apply-refact and several stack.yaml updates (#1858)
* Update hackage index

* Update stack.yaml's

* Use ghc-8.10.4 for default stack.yaml

* Update brittany

* Bump up min apply-refact version

* Set max-backjumps to 12000
2021-05-24 12:51:56 +02:00
Junyoung/Clare Jang
cc4dea6962
Extract last 2 plugins and clean up others (#1836)
* Add goldenWithHaskellDoc test util

* Extract module name plugin

* Extract ormolu plugin

* Clean up brittany plugin

* Clean up class plugin

* Clean up eval plugin

* Clean up explicit imports plugin

* Clean up floskell plugin

* Clean up fourmolu plugin

* Clean up haddock comments plugin

* Clean up hlint plugin

* Clean up pragmas plugin

* Clean up refine imports plugin

* Clean up retrie plugin

* Clean up splice plugin

* Clean up stylish haskell plugin

* Fix formatter tests

* Fix tests' hie.yaml

* Clean up Wingman

* Fix eval tests
2021-05-17 13:02:52 -04:00
Junyoung/Clare Jang
7d7cfa24c0
Extract pragmas plugin (#1833) 2021-05-14 20:04:50 -04:00
Gustavo Avena
0772f2d42d
Extract fourmolu plugin into a standalone package (#1823) 2021-05-14 13:57:03 +01:00
Junyoung/Clare Jang
15381405d7
Extract floskell plugin as a standalone plugin (#1829)
* Extract floskell plugin as an independent plugin

* Increase max-backjumps for cabal configure
2021-05-14 04:47:41 -04:00
Ray Shih
54737e9e2d
Implement refine imports (#1686)
* Implement refine imports

* Implement code action for refine imports

* fix stack.yaml

* fix stack-*.yaml

* fix missing records fields after merge master

* fix nix

* reduce duplicated functions

* [Plugin][RefineImports] add tests and fix overriding issue

* add hls-refine-imports-plugin to CI workflow

Co-authored-by: Junyoung/Clare Jang <jjc9310@gmail.com>
2021-04-29 22:32:19 -04:00
Neil Mitchell
dec47a31bc
Wrap the Shake functions with newtypes (#1753)
* Add a function addRule, which abstracts over addBuiltinRule

* Newtype wrap the Action, Rules and ShakeOption types

* Replace addShakeExtra with newShakeExtra

* Move the internals of hls-graph around a bit

* Expose shakeTimings and shakeAllowRedefineRules through ShakeOptions

Co-authored-by: Potato Hatsue <1793913507@qq.com>
2021-04-19 06:34:13 +00:00
Neil Mitchell
3be343acf7
Add hls-graph abstracting over shake (#1748)
* Add a new project hls-graph, shadowing Shake and reexporting it

* Make hls-graph use explicit exports rather than module-level exports

* Cut down on what hls-graph exports

Delete unnecesssary hiding
2021-04-18 15:55:12 +00:00
wz1000
6d1f1a55e3
Update to lsp-1.2 (#1631)
* Update to lsp-1.2

* fix stack

* fix splice plugin tests

* fix tactic plugin tests

* fix some tests

* fix some tests

* fix outline tests

* hlint

* fix func-test
2021-04-01 16:44:08 +00:00
Potato Hatsue
7255b408da
Extract hls-test-utils (#1606)
* Extract hls-test-utils

* Use test utils in brittany plugin and stylish haskell plugin

* stack

* Set locale encoding to utf8 in defaultMain

* Remove with-utf8
2021-03-23 18:45:45 +08:00
Potato Hatsue
5724343ee2
Extract stylish-haskell plugin into a standalone package (#1604) 2021-03-22 21:49:27 +08:00
Potato Hatsue
7cb4ab7b28
Bump haddock-library to 1.10.0 (#1598)
* Bump haddock-library to 1.10.0

* stack
2021-03-20 13:42:48 +08:00
Pepe Iborra
6fbc602274
Extract an hls-brittany-plugin package (#1422)
* Extract a Brittany plugin

* Add the brittany plugin to all the stack descriptors

* Extract tests into a standalone testsuite

* Drop AGPL flag

* Change the default logger to print to stderr

* add hls-brittany-plugin test suite to CI

* Add strict version bounds

These are completely unnecessary, but it's the approach that we seem to be taking

* includes breaking API change: bump ghcide version number

Co-authored-by: Junyoung/Clare Jang <jjc9310@gmail.com>
2021-03-08 05:07:38 +00:00
Javier Neira
43b33a51c8
Use runtime ghc libdir for ghc-exactprint and ghc-8.10 (#1451)
* Use las ghc-lib-8.10

* Use runtime libdir for ghc-8.10

* Use ghc-lib-8.10.4

Co-authored-by: Junyoung/Clare Jang <jjc9310@gmail.com>
2021-02-28 09:36:18 +00:00
fendor
f96125f647
Update to hie-bios 0.7.4 (#1405) 2021-02-19 22:41:04 +00:00
Javier Neira
409ba808c1
Use last with-utf8 to fix #1372 (#1399)
* Use last with-utf8

* Use last with-utf8 in all stack.yamls

* Remove duplicate with-utf8 entry

* Update default stack.yaml

* Remove duplicate entry for 8.8.2 too

Co-authored-by: Junyoung/Clare Jang <jjc9310@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-02-19 10:56:27 +00:00
Junyoung/Clare Jang
331211715a
Update hie-bios (#1397) 2021-02-18 21:04:14 +00:00
wz1000
caaaa48697
use lsp-1.1.1 (#1377) 2021-02-16 13:57:48 +00:00
wz1000
ad0a1547e5
Upgrade to lsp-1.0 (#1284)
* WIP integrate haskell-lsp-1.0.0.0

some progress

Mostly everything except LanguageServer.hs

make it compile

make it work

fix benchmarks

update

tweaks

fix configuration and tests

simplify handlers

Update to renamed lsp/lsp-types modules

redo plugin api and get library to compile

fill in some missing details

fix main

fix rebase

* handle executeCommand and codeaction compat

* switch back to text

* make ghcide tests compile

* non-formatting plugins

* simplify plugin api

* port default plugins

* fix hls tests

* review comments

* more fixes

* more fixes

* Fix more tests

* cleanup

* fix cabal.project

* restore telemetry

* don't wait for progress response

* warnings and hlint

* rebase fixes

* rebase fixes

* more warnings

* hlint

* warnings

* more warnings

* fix benchmarks

* lsp from hackage

* more stack

* more stack

* more stack

* more stack

* more stack

* more stack

* more stack
2021-02-14 19:04:07 +00:00
Javier Neira
8c7b97b977
Prepare hls hlint plugin 0.2.0 (#1296)
* Bump up version of hls-hlint-plugin to 0.2.0

* Use ghc-exactprint-0.6.3.4

* Update hackage index to get mmorph revision

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
2021-02-04 11:09:23 +00:00