From bf8192db8a070034b3d31303b47e4b045ed47741 Mon Sep 17 00:00:00 2001 From: Junyoung/Clare Jang Date: Thu, 29 Jul 2021 14:59:14 -0400 Subject: [PATCH 1/7] Prepare July 1.3.0 release --- ChangeLog.md | 148 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 148 insertions(+) diff --git a/ChangeLog.md b/ChangeLog.md index f5e3845157..b2f2d7c44a 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -1,5 +1,153 @@ # Changelog for haskell-language-server +## 1.3.0 + +2021 July release of HLS arrives! This release includes binaries for GHC 9.0.1 +and some new interesting features. Here is the brief summary of changes: + +- Binaries for GHC 9.0.1 are added by @anka-213. +- Call hierarchy plugin is added, contributed by @July541. + ![hierarchy](https://user-images.githubusercontent.com/12473268/127550041-094151a6-be7b-484a-bb82-c61f326ca503.gif) +- Now completions work with definitions from non-imported modules, thanks to @pepeiborra. + ![completion](https://user-images.githubusercontent.com/12473268/127543694-718ae043-38f2-4fb0-be71-317f5f93b443.gif) +- Eval plugin + - The plugin supports GHC 9.0.1, thanks to @berberman. + - `:info` command is added by @akrmn. + - The plugin uses the same default language as GHCi with @fmehta's patch. +- Wingman, where most changes owing to @isovector + - An option for disabling proof state styling is added. + - Tactic supports deep recursion. + - Hole fits suggestions are now disabled with Wingman for a performance reason. +- Hovering on a name displays the package where the name is defined, contributed by @berberman. + ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif) + +### Pull requests merged for 1.3.0 + +- Wingman: Properly destruct forall-quantified types +([#2049](https://github.com/haskell/haskell-language-server/pull/2049)) by @isovector +- Remove .stack-work from circleci cache +([#2044](https://github.com/haskell/haskell-language-server/pull/2044)) by @jneira +- Completions from non-imported modules +([#2040](https://github.com/haskell/haskell-language-server/pull/2040)) by @pepeiborra +- Wingman: Low gas warning +([#2038](https://github.com/haskell/haskell-language-server/pull/2038)) by @isovector +- Enable dynamic linking in stack builds +([#2031](https://github.com/haskell/haskell-language-server/pull/2031)) by @pepeiborra +- Fix nix flake +([#2030](https://github.com/haskell/haskell-language-server/pull/2030)) by @Avi-D-coder +- Tie plugins' pluginModifyDynflags to their enabled state +([#2029](https://github.com/haskell/haskell-language-server/pull/2029)) by @isovector +- Add benchmarks for hole fits +([#2027](https://github.com/haskell/haskell-language-server/pull/2027)) by @pepeiborra +- fix a typo +([#2024](https://github.com/haskell/haskell-language-server/pull/2024)) by @cdsmith +- Upgrade to refinery-0.4.0.0 +([#2021](https://github.com/haskell/haskell-language-server/pull/2021)) by @isovector +- Use implicit-hie-cradle-0.3.0.5 +([#2020](https://github.com/haskell/haskell-language-server/pull/2020)) by @jneira +- Disable hls tests for win and ghc-9.0.1 +([#2018](https://github.com/haskell/haskell-language-server/pull/2018)) by @jneira +- Use operational master commit to fix build for ghc-9.0.1 +([#2017](https://github.com/haskell/haskell-language-server/pull/2017)) by @jneira +- Fix Wingman dependency on extra +([#2007](https://github.com/haskell/haskell-language-server/pull/2007)) by @pepeiborra +- Add GHC 9.2 support for hie-compat +([#2003](https://github.com/haskell/haskell-language-server/pull/2003)) by @fendor +- Enable tests for ghc 9 and promote `ghcVersion` check +([#2001](https://github.com/haskell/haskell-language-server/pull/2001)) by @jneira +- Allow HLS plugins to declare cli commands +([#1999](https://github.com/haskell/haskell-language-server/pull/1999)) by @pepeiborra +- Remove >= from cabal-version +([#1998](https://github.com/haskell/haskell-language-server/pull/1998)) by @felixonmars +- Eval plugin: support ghc 9.0.1 +([#1997](https://github.com/haskell/haskell-language-server/pull/1997)) by @berberman +- Maximize sharing of NormalizedFilePath values in getLocatedImports +([#1996](https://github.com/haskell/haskell-language-server/pull/1996)) by @pepeiborra +- nix: add support for ghc 9.0.1 +([#1995](https://github.com/haskell/haskell-language-server/pull/1995)) by @berberman +- Warn GHC 9 Compatibility to LSP Client +([#1992](https://github.com/haskell/haskell-language-server/pull/1992)) by @konn +- Update nix to GHC 8.10.5 +([#1991](https://github.com/haskell/haskell-language-server/pull/1991)) by @berberman +- Initialize ExportsMap using hiedb exports +([#1989](https://github.com/haskell/haskell-language-server/pull/1989)) by @pepeiborra +- Wingman: add emacs example config to Readme +([#1988](https://github.com/haskell/haskell-language-server/pull/1988)) by @stuebinm +- relax megaparsec constraint in hls-tactics-plugin +([#1986](https://github.com/haskell/haskell-language-server/pull/1986)) by @pepeiborra +- follow change in lsp-types +([#1985](https://github.com/haskell/haskell-language-server/pull/1985)) by @pepeiborra +- Don't suggest import an unnecessary data constructor. +([#1984](https://github.com/haskell/haskell-language-server/pull/1984)) by @peterwicksstringfield +- Enable hyphenation embedding +([#1979](https://github.com/haskell/haskell-language-server/pull/1979)) by @isovector +- Fix nix.yaml +([#1974](https://github.com/haskell/haskell-language-server/pull/1974)) by @isovector +- Add windows to ghcup artifacts and generate sha256 sums +([#1970](https://github.com/haskell/haskell-language-server/pull/1970)) by @jneira +- Wingman: Ensure homomorphic destruct covers all constructors in the domain +([#1968](https://github.com/haskell/haskell-language-server/pull/1968)) by @isovector +- Wingman: Add the correct file offset to metaprogram parse errors +([#1967](https://github.com/haskell/haskell-language-server/pull/1967)) by @isovector +- Wingman: Config option to suppress proofstate styling +([#1966](https://github.com/haskell/haskell-language-server/pull/1966)) by @isovector +- Wingman: Don't wildify vars when running beginMetaprogram +([#1963](https://github.com/haskell/haskell-language-server/pull/1963)) by @isovector +- Wingman: Don't suggest empty case lenses for case exprs with no data cons +([#1962](https://github.com/haskell/haskell-language-server/pull/1962)) by @isovector +- Wingman: Don't introduce too many variables +([#1961](https://github.com/haskell/haskell-language-server/pull/1961)) by @isovector +- Wingman: Code lens for empty lambda case +([#1956](https://github.com/haskell/haskell-language-server/pull/1956)) by @isovector +- Call hierarchy support +([#1955](https://github.com/haskell/haskell-language-server/pull/1955)) by @July541 +- Bugfix type signature lenses / code actions for pattern synonyms. +([#1952](https://github.com/haskell/haskell-language-server/pull/1952)) by @peterwicksstringfield +- Add :info command in Eval plugin +([#1948](https://github.com/haskell/haskell-language-server/pull/1948)) by @akrmn +- avoid holding onto the hie bytestring when indexing +([#1947](https://github.com/haskell/haskell-language-server/pull/1947)) by @pepeiborra +- Wingman: Make getCurrentDefinitions return polymorphic types +([#1945](https://github.com/haskell/haskell-language-server/pull/1945)) by @isovector +- Wingman: Tactical support for deep recursion +([#1944](https://github.com/haskell/haskell-language-server/pull/1944)) by @isovector +- Properly scope GADT equality evidence in the judgment +([#1942](https://github.com/haskell/haskell-language-server/pull/1942)) by @isovector +- Add ghc-9.0.1 to the build release script +([#1940](https://github.com/haskell/haskell-language-server/pull/1940)) by @anka-213 +- Cata tactic should generalize let and ensure unifiability +([#1938](https://github.com/haskell/haskell-language-server/pull/1938)) by @isovector +- Include chocolatey hls package +([#1936](https://github.com/haskell/haskell-language-server/pull/1936)) by @jneira +- Mention ghcup and warning about updating artifacts +([#1935](https://github.com/haskell/haskell-language-server/pull/1935)) by @jneira +- Remove ghc-8.8.2 +([#1934](https://github.com/haskell/haskell-language-server/pull/1934)) by @jneira +- Workaround for GHC 8.10.5 on macOS +([#1931](https://github.com/haskell/haskell-language-server/pull/1931)) by @konn +- Add manual upload instructions +([#1930](https://github.com/haskell/haskell-language-server/pull/1930)) by @jneira +- Perform name lookup directly in TacticsM +([#1924](https://github.com/haskell/haskell-language-server/pull/1924)) by @isovector +- Include testdata in hls-refine-imports-plugin.cabal (backport #1922) +([#1923](https://github.com/haskell/haskell-language-server/pull/1923)) by @mergify[bot] +- Include testdata in hls-refine-imports-plugin.cabal +([#1922](https://github.com/haskell/haskell-language-server/pull/1922)) by @felixonmars +- Add pointwise command to the metaprogram parser +([#1921](https://github.com/haskell/haskell-language-server/pull/1921)) by @isovector +- Allow symbol identifiers in tactics +([#1920](https://github.com/haskell/haskell-language-server/pull/1920)) by @isovector +- Fall back to hiedb for invalid srcspan paths +([#1918](https://github.com/haskell/haskell-language-server/pull/1918)) by @pepeiborra +- Disable hole fit suggestions when running Wingman +([#1873](https://github.com/haskell/haskell-language-server/pull/1873)) by @isovector +- Wingman: maintain user-defined fixity for definitions +([#1697](https://github.com/haskell/haskell-language-server/pull/1697)) by @isovector +- Display package names of external libraries on hover +([#1626](https://github.com/haskell/haskell-language-server/pull/1626)) by @berberman +- Make the eval plugin use the same default language extensions as ghci. +([#1596](https://github.com/haskell/haskell-language-server/pull/1596)) by @fmehta + ## 1.2.0 We have finally released a new version of Haskell Language Server! From af131b43056080df0b11cebea3f0f2db61c9da78 Mon Sep 17 00:00:00 2001 From: Junyoung/Clare Jang Date: Thu, 29 Jul 2021 15:43:17 -0400 Subject: [PATCH 2/7] Update package versions --- ghcide/ghcide.cabal | 4 +- haskell-language-server.cabal | 40 +++++++++---------- hie-compat/hie-compat.cabal | 2 +- hls-plugin-api/hls-plugin-api.cabal | 6 +-- hls-test-utils/hls-test-utils.cabal | 6 +-- .../hls-brittany-plugin.cabal | 8 ++-- .../hls-call-hierarchy-plugin.cabal | 18 ++++----- .../hls-class-plugin/hls-class-plugin.cabal | 6 +-- plugins/hls-eval-plugin/hls-eval-plugin.cabal | 6 +-- .../hls-explicit-imports-plugin.cabal | 4 +- .../hls-floskell-plugin.cabal | 6 +-- .../hls-fourmolu-plugin.cabal | 6 +-- .../hls-haddock-comments-plugin.cabal | 6 +-- .../hls-hlint-plugin/hls-hlint-plugin.cabal | 14 +++---- .../hls-module-name-plugin.cabal | 6 +-- .../hls-ormolu-plugin/hls-ormolu-plugin.cabal | 6 +-- .../hls-pragmas-plugin.cabal | 6 +-- .../hls-refine-imports-plugin.cabal | 4 +- .../hls-retrie-plugin/hls-retrie-plugin.cabal | 4 +- .../hls-splice-plugin/hls-splice-plugin.cabal | 6 +-- .../hls-stylish-haskell-plugin.cabal | 6 +-- .../hls-tactics-plugin.cabal | 10 ++--- 22 files changed, 90 insertions(+), 90 deletions(-) diff --git a/ghcide/ghcide.cabal b/ghcide/ghcide.cabal index eb6adabe55..046a9f0627 100644 --- a/ghcide/ghcide.cabal +++ b/ghcide/ghcide.cabal @@ -2,7 +2,7 @@ cabal-version: 2.4 build-type: Simple category: Development name: ghcide -version: 1.4.0.3 +version: 1.4.1.0 license: Apache-2.0 license-file: LICENSE author: Digital Asset and Ghcide contributors @@ -58,7 +58,7 @@ library haddock-library >= 1.8 && < 1.11, hashable, hie-compat ^>= 0.2.0.0, - hls-plugin-api ^>= 1.1.0.0, + hls-plugin-api ^>= 1.2.0.0, lens, hiedb == 0.4.0.*, lsp-types >= 1.2 && < 1.4, diff --git a/haskell-language-server.cabal b/haskell-language-server.cabal index 297a788176..fd8c5473c2 100644 --- a/haskell-language-server.cabal +++ b/haskell-language-server.cabal @@ -1,7 +1,7 @@ cabal-version: 2.4 category: Development name: haskell-language-server -version: 1.2.0.0 +version: 1.3.0.0 synopsis: LSP server for GHC description: Please see the README on GitHub at @@ -66,7 +66,7 @@ library , lsp , hie-bios , hiedb - , hls-plugin-api ^>= 1.1 + , hls-plugin-api ^>=1.2 , hslogger , optparse-applicative , optparse-simple @@ -195,89 +195,89 @@ common example-plugins common class if flag(class) || flag(all-plugins) - build-depends: hls-class-plugin ^>= 1.0.0.1 + build-depends: hls-class-plugin ^>=1.0.0.1 cpp-options: -Dclass common callHierarchy if flag(callHierarchy) || flag(all-plugins) - build-depends: hls-call-hierarchy-plugin ^>= 1.0.0.0 + build-depends: hls-call-hierarchy-plugin ^>=1.0.0.0 cpp-options: -DcallHierarchy common haddockComments if flag(haddockComments) || flag(all-plugins) - build-depends: hls-haddock-comments-plugin ^>= 1.0.0.1 + build-depends: hls-haddock-comments-plugin ^>=1.0.0.1 cpp-options: -DhaddockComments common eval if flag(eval) || flag(all-plugins) - build-depends: hls-eval-plugin ^>= 1.1.0.0 + build-depends: hls-eval-plugin ^>=1.1.0.0 cpp-options: -Deval common importLens if flag(importLens) || flag(all-plugins) - build-depends: hls-explicit-imports-plugin ^>= 1.0.0.1 + build-depends: hls-explicit-imports-plugin ^>=1.0.0.1 cpp-options: -DimportLens common refineImports if flag(refineImports) || flag(all-plugins) - build-depends: hls-refine-imports-plugin + build-depends: hls-refine-imports-plugin ^>=1.0.0.0 cpp-options: -DrefineImports common retrie if flag(retrie) || flag(all-plugins) - build-depends: hls-retrie-plugin ^>= 1.0.0.1 + build-depends: hls-retrie-plugin ^>=1.0.0.1 cpp-options: -Dretrie common tactic if flag(tactic) || flag(all-plugins) - build-depends: hls-tactics-plugin ^>= 1.2.0.0 + build-depends: hls-tactics-plugin >=1.2.0.0 && <1.4 cpp-options: -Dtactic common hlint if flag(hlint) || flag(all-plugins) - build-depends: hls-hlint-plugin ^>= 1.0.0.2 + build-depends: hls-hlint-plugin ^>=1.0.0.2 cpp-options: -Dhlint common moduleName if flag(moduleName) || flag(all-plugins) - build-depends: hls-module-name-plugin ^>= 1.0.0.0 + build-depends: hls-module-name-plugin ^>=1.0.0.0 cpp-options: -DmoduleName common pragmas if flag(pragmas) || flag(all-plugins) - build-depends: hls-pragmas-plugin ^>= 1.0.0.0 + build-depends: hls-pragmas-plugin ^>=1.0.0.0 cpp-options: -Dpragmas common splice if flag(splice) || flag(all-plugins) - build-depends: hls-splice-plugin ^>= 1.0.0.1 + build-depends: hls-splice-plugin ^>=1.0.0.1 cpp-options: -Dsplice -- formatters common floskell if flag(floskell) || flag(all-formatters) - build-depends: hls-floskell-plugin ^>=1.0.0.0 + build-depends: hls-floskell-plugin ^>=1.0.0.0 cpp-options: -Dfloskell common fourmolu if flag(fourmolu) || flag(all-formatters) - build-depends: hls-fourmolu-plugin ^>= 1.0.0.0 + build-depends: hls-fourmolu-plugin ^>=1.0.0.0 cpp-options: -Dfourmolu common ormolu if flag(ormolu) || flag(all-formatters) - build-depends: hls-ormolu-plugin ^>= 1.0.0.0 + build-depends: hls-ormolu-plugin ^>=1.0.0.0 cpp-options: -Dormolu common stylishHaskell if flag(stylishHaskell) || flag(all-formatters) - build-depends: hls-stylish-haskell-plugin ^>= 1.0.0.0 + build-depends: hls-stylish-haskell-plugin ^>=1.0.0.0 cpp-options: -DstylishHaskell common brittany if (flag(brittany) || flag(all-formatters)) - build-depends: hls-brittany-plugin ^>= 1.0.0.1 + build-depends: hls-brittany-plugin ^>=1.0.0.1 cpp-options: -Dbrittany executable haskell-language-server @@ -398,7 +398,7 @@ test-suite func-test , hspec-expectations , lens , ghcide - , hls-test-utils ^>= 1.0.0.0 + , hls-test-utils ^>= 1.1.0.0 , lsp-types , aeson , hls-plugin-api diff --git a/hie-compat/hie-compat.cabal b/hie-compat/hie-compat.cabal index 0e06785319..8c607f974b 100644 --- a/hie-compat/hie-compat.cabal +++ b/hie-compat/hie-compat.cabal @@ -1,6 +1,6 @@ cabal-version: 1.22 name: hie-compat -version: 0.2.0.0 +version: 0.2.1.0 synopsis: HIE files for GHC 8.6 and other HIE file backports license: Apache-2.0 description: diff --git a/hls-plugin-api/hls-plugin-api.cabal b/hls-plugin-api/hls-plugin-api.cabal index c5f002e49c..6bb02cf965 100644 --- a/hls-plugin-api/hls-plugin-api.cabal +++ b/hls-plugin-api/hls-plugin-api.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-plugin-api -version: 1.1.0.2 +version: 1.2.0.0 synopsis: Haskell Language Server API for plugin communication description: Please see the README on GitHub at @@ -46,16 +46,16 @@ library , ghc , ghc-api-compat , hashable + , hls-graph ^>=1.4 , hslogger , lens , lsp ^>=1.2 , opentelemetry + , optparse-applicative , process , regex-tdfa >=1.3.1.0 - , hls-graph ^>=1.4 , text , unordered-containers - , optparse-applicative if os(windows) build-depends: Win32 diff --git a/hls-test-utils/hls-test-utils.cabal b/hls-test-utils/hls-test-utils.cabal index 43a4c63a81..dc25afb526 100644 --- a/hls-test-utils/hls-test-utils.cabal +++ b/hls-test-utils/hls-test-utils.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-test-utils -version: 1.0.1.0 +version: 1.1.0.0 synopsis: Utilities used in the tests of Haskell Language Server description: Please see the README on GitHub at @@ -43,13 +43,13 @@ library , filepath , ghcide ^>=1.4 , hls-graph - , hls-plugin-api ^>=1.1 + , hls-plugin-api ^>=1.2 , hspec <2.8 , hspec-core , lens , lsp ^>=1.2 , lsp-test ^>=0.14 - , lsp-types >=1.2 && < 1.4 + , lsp-types >=1.2 && <1.4 , tasty , tasty-expected-failure , tasty-golden diff --git a/plugins/hls-brittany-plugin/hls-brittany-plugin.cabal b/plugins/hls-brittany-plugin/hls-brittany-plugin.cabal index 51d278c2b2..1698eb2ebc 100644 --- a/plugins/hls-brittany-plugin/hls-brittany-plugin.cabal +++ b/plugins/hls-brittany-plugin/hls-brittany-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-brittany-plugin -version: 1.0.0.1 +version: 1.0.0.2 synopsis: Integration with the Brittany code formatter description: Please see the README on GitHub at @@ -25,8 +25,8 @@ library , filepath , ghc , ghc-boot-th - , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , ghcide >=1.2 && <1.5 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp-types , text @@ -44,4 +44,4 @@ test-suite tests , base , filepath , hls-brittany-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 diff --git a/plugins/hls-call-hierarchy-plugin/hls-call-hierarchy-plugin.cabal b/plugins/hls-call-hierarchy-plugin/hls-call-hierarchy-plugin.cabal index 2bfe7ac8f1..49ad4e7a4e 100644 --- a/plugins/hls-call-hierarchy-plugin/hls-call-hierarchy-plugin.cabal +++ b/plugins/hls-call-hierarchy-plugin/hls-call-hierarchy-plugin.cabal @@ -15,21 +15,22 @@ extra-source-files: library exposed-modules: Ide.Plugin.CallHierarchy other-modules: - Ide.Plugin.CallHierarchy.Internal - Ide.Plugin.CallHierarchy.Query - Ide.Plugin.CallHierarchy.Types + Ide.Plugin.CallHierarchy.Internal + Ide.Plugin.CallHierarchy.Query + Ide.Plugin.CallHierarchy.Types + hs-source-dirs: src build-depends: , aeson - , base >=4.12 && <5 + , base >=4.12 && <5 , bytestring , containers , extra , ghc , ghc-api-compat - , ghcide >=1.2 && <1.5 + , ghcide ^>=1.4.1 , hiedb - , hls-plugin-api ^>=1.1 + , hls-plugin-api ^>=1.2 , lens , lsp , sqlite-simple @@ -37,8 +38,7 @@ library , unordered-containers default-language: Haskell2010 - default-extensions: - DataKinds + default-extensions: DataKinds test-suite tests type: exitcode-stdio-1.0 @@ -53,7 +53,7 @@ test-suite tests , extra , filepath , hls-call-hierarchy-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , lens , lsp , lsp-test diff --git a/plugins/hls-class-plugin/hls-class-plugin.cabal b/plugins/hls-class-plugin/hls-class-plugin.cabal index eea2693c3e..ad2ddd189b 100644 --- a/plugins/hls-class-plugin/hls-class-plugin.cabal +++ b/plugins/hls-class-plugin/hls-class-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-class-plugin -version: 1.0.0.2 +version: 1.0.0.3 synopsis: Class/instance management plugin for Haskell Language Server @@ -31,7 +31,7 @@ library , ghc-api-compat , ghc-exactprint , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp , text @@ -54,6 +54,6 @@ test-suite tests , base , filepath , hls-class-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , lens , lsp-types diff --git a/plugins/hls-eval-plugin/hls-eval-plugin.cabal b/plugins/hls-eval-plugin/hls-eval-plugin.cabal index 2be1a9dd71..204c21864a 100644 --- a/plugins/hls-eval-plugin/hls-eval-plugin.cabal +++ b/plugins/hls-eval-plugin/hls-eval-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-eval-plugin -version: 1.1.1.0 +version: 1.1.2.0 synopsis: Eval plugin for Haskell Language Server description: Please see the README on GitHub at @@ -66,7 +66,7 @@ library , ghc-paths , ghcide >=1.2 && <1.5 , hashable - , hls-plugin-api ^>=1.1 + , hls-plugin-api ^>=1.2 , lens , lsp , lsp-types @@ -107,7 +107,7 @@ test-suite tests , extra , filepath , hls-eval-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils ^>=1.1 , lens , lsp-types , text diff --git a/plugins/hls-explicit-imports-plugin/hls-explicit-imports-plugin.cabal b/plugins/hls-explicit-imports-plugin/hls-explicit-imports-plugin.cabal index ad5f46c4d3..c33312678a 100644 --- a/plugins/hls-explicit-imports-plugin/hls-explicit-imports-plugin.cabal +++ b/plugins/hls-explicit-imports-plugin/hls-explicit-imports-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: hls-explicit-imports-plugin -version: 1.0.0.3 +version: 1.0.0.4 synopsis: Explicit imports plugin for Haskell Language Server license: Apache-2.0 license-file: LICENSE @@ -22,7 +22,7 @@ library , ghc-api-compat , ghcide ^>=1.4 , hls-graph - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp , text , unordered-containers diff --git a/plugins/hls-floskell-plugin/hls-floskell-plugin.cabal b/plugins/hls-floskell-plugin/hls-floskell-plugin.cabal index 7a06d55254..89ef213b6f 100644 --- a/plugins/hls-floskell-plugin/hls-floskell-plugin.cabal +++ b/plugins/hls-floskell-plugin/hls-floskell-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-floskell-plugin -version: 1.0.0.0 +version: 1.0.0.1 synopsis: Integration with the Floskell code formatter description: Please see the README on GitHub at @@ -23,7 +23,7 @@ library , base >=4.12 && <5 , floskell ^>=0.10 , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp-types , text , transformers @@ -40,4 +40,4 @@ test-suite tests , base , filepath , hls-floskell-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 diff --git a/plugins/hls-fourmolu-plugin/hls-fourmolu-plugin.cabal b/plugins/hls-fourmolu-plugin/hls-fourmolu-plugin.cabal index f6ccef0d39..15970d4d13 100644 --- a/plugins/hls-fourmolu-plugin/hls-fourmolu-plugin.cabal +++ b/plugins/hls-fourmolu-plugin/hls-fourmolu-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-fourmolu-plugin -version: 1.0.0.1 +version: 1.0.0.2 synopsis: Integration with the Fourmolu code formatter description: Please see the README on GitHub at @@ -26,7 +26,7 @@ library , ghc , ghc-boot-th , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp , text @@ -43,5 +43,5 @@ test-suite tests , base , filepath , hls-fourmolu-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , lsp-test diff --git a/plugins/hls-haddock-comments-plugin/hls-haddock-comments-plugin.cabal b/plugins/hls-haddock-comments-plugin/hls-haddock-comments-plugin.cabal index d007e41ad6..2c7e20d74f 100644 --- a/plugins/hls-haddock-comments-plugin/hls-haddock-comments-plugin.cabal +++ b/plugins/hls-haddock-comments-plugin/hls-haddock-comments-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-haddock-comments-plugin -version: 1.0.0.2 +version: 1.0.0.3 synopsis: Haddock comments plugin for Haskell Language Server description: Please see the README on GitHub at @@ -30,7 +30,7 @@ library , ghc , ghc-exactprint , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp-types , text , unordered-containers @@ -50,5 +50,5 @@ test-suite tests , base , filepath , hls-haddock-comments-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , text diff --git a/plugins/hls-hlint-plugin/hls-hlint-plugin.cabal b/plugins/hls-hlint-plugin/hls-hlint-plugin.cabal index 2e210069bc..3a0c54485c 100644 --- a/plugins/hls-hlint-plugin/hls-hlint-plugin.cabal +++ b/plugins/hls-hlint-plugin/hls-hlint-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: hls-hlint-plugin -version: 1.0.1.0 +version: 1.0.1.1 synopsis: Hlint integration plugin with Haskell Language Server description: Please see Haskell Language Server Readme (https://github.com/haskell/haskell-language-server#readme) @@ -51,7 +51,7 @@ library , ghcide ^>=1.4 , hashable , hlint - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , hslogger , lens , lsp @@ -71,8 +71,8 @@ library else build-depends: , ghc - , ghc-lib == 9.0.* - , ghc-lib-parser-ex == 9.0.* + , ghc-lib ==9.0.* + , ghc-lib-parser-ex ==9.0.* cpp-options: -DHLINT_ON_GHC_LIB @@ -81,12 +81,12 @@ library -- https://github.com/ndmitchell/hlint/blob/c7354e473c7d09213c8adc3dc94bf50a6eb4a42d/hlint.cabal#L79-L88 build-depends: hlint ^>=3.2 if (!flag(ghc-lib) && impl(ghc >=8.10.1) && impl(ghc < 8.11.0)) - build-depends: ghc >=8.10 && < 9.0 + build-depends: ghc >=8.10 && <9.0 else build-depends: , ghc - , ghc-lib ^>= 8.10.4.20210206 - , ghc-lib-parser-ex ^>= 8.10 + , ghc-lib ^>=8.10.4.20210206 + , ghc-lib-parser-ex ^>=8.10 cpp-options: -DHLINT_ON_GHC_LIB diff --git a/plugins/hls-module-name-plugin/hls-module-name-plugin.cabal b/plugins/hls-module-name-plugin/hls-module-name-plugin.cabal index 1d74ac150e..61b6a31a8f 100644 --- a/plugins/hls-module-name-plugin/hls-module-name-plugin.cabal +++ b/plugins/hls-module-name-plugin/hls-module-name-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-module-name-plugin -version: 1.0.0.0 +version: 1.0.0.1 synopsis: Module name plugin for Haskell Language Server description: Please see the README on GitHub at @@ -26,7 +26,7 @@ library , directory , filepath , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp , text , transformers @@ -44,4 +44,4 @@ test-suite tests , base , filepath , hls-module-name-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 diff --git a/plugins/hls-ormolu-plugin/hls-ormolu-plugin.cabal b/plugins/hls-ormolu-plugin/hls-ormolu-plugin.cabal index 9d17d3d401..93c27a7040 100644 --- a/plugins/hls-ormolu-plugin/hls-ormolu-plugin.cabal +++ b/plugins/hls-ormolu-plugin/hls-ormolu-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-ormolu-plugin -version: 1.0.0.0 +version: 1.0.0.1 synopsis: Integration with the Ormolu code formatter description: Please see the README on GitHub at @@ -25,7 +25,7 @@ library , ghc , ghc-boot-th , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp , ormolu ^>=0.1.2 @@ -43,5 +43,5 @@ test-suite tests , base , filepath , hls-ormolu-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , lsp-types diff --git a/plugins/hls-pragmas-plugin/hls-pragmas-plugin.cabal b/plugins/hls-pragmas-plugin/hls-pragmas-plugin.cabal index 4b976b5db1..7d7bcdb345 100644 --- a/plugins/hls-pragmas-plugin/hls-pragmas-plugin.cabal +++ b/plugins/hls-pragmas-plugin/hls-pragmas-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-pragmas-plugin -version: 1.0.0.0 +version: 1.0.0.1 synopsis: Pragmas plugin for Haskell Language Server description: Please see the README on GitHub at @@ -25,7 +25,7 @@ library , extra , fuzzy , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp , text @@ -44,6 +44,6 @@ test-suite tests , base , filepath , hls-pragmas-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , lens , lsp-types diff --git a/plugins/hls-refine-imports-plugin/hls-refine-imports-plugin.cabal b/plugins/hls-refine-imports-plugin/hls-refine-imports-plugin.cabal index 3501b22835..7b16113a4a 100644 --- a/plugins/hls-refine-imports-plugin/hls-refine-imports-plugin.cabal +++ b/plugins/hls-refine-imports-plugin/hls-refine-imports-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: hls-refine-imports-plugin -version: 1.0.0.0 +version: 1.0.0.1 synopsis: Refine imports plugin for Haskell Language Server license: Apache-2.0 license-file: LICENSE @@ -25,7 +25,7 @@ library , ghcide ^>=1.4 , hls-explicit-imports-plugin ^>=1.0.0.1 , hls-graph - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp , text , unordered-containers diff --git a/plugins/hls-retrie-plugin/hls-retrie-plugin.cabal b/plugins/hls-retrie-plugin/hls-retrie-plugin.cabal index 61b24373ff..4416f46037 100644 --- a/plugins/hls-retrie-plugin/hls-retrie-plugin.cabal +++ b/plugins/hls-retrie-plugin/hls-retrie-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: hls-retrie-plugin -version: 1.0.1.0 +version: 1.0.1.1 synopsis: Retrie integration plugin for Haskell Language Server license: Apache-2.0 license-file: LICENSE @@ -24,7 +24,7 @@ library , ghc-api-compat , ghcide >=1.2 && <1.5 , hashable - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp , lsp-types , retrie >=0.1.1.0 diff --git a/plugins/hls-splice-plugin/hls-splice-plugin.cabal b/plugins/hls-splice-plugin/hls-splice-plugin.cabal index b78b7f2b48..64786bfd33 100644 --- a/plugins/hls-splice-plugin/hls-splice-plugin.cabal +++ b/plugins/hls-splice-plugin/hls-splice-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-splice-plugin -version: 1.0.0.3 +version: 1.0.0.4 synopsis: HLS Plugin to expand TemplateHaskell Splices and QuasiQuotes @@ -39,7 +39,7 @@ library , ghc , ghc-exactprint , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lens , lsp , retrie @@ -64,5 +64,5 @@ test-suite tests , base , filepath , hls-splice-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , text diff --git a/plugins/hls-stylish-haskell-plugin/hls-stylish-haskell-plugin.cabal b/plugins/hls-stylish-haskell-plugin/hls-stylish-haskell-plugin.cabal index 95be39d678..25570a2156 100644 --- a/plugins/hls-stylish-haskell-plugin/hls-stylish-haskell-plugin.cabal +++ b/plugins/hls-stylish-haskell-plugin/hls-stylish-haskell-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: hls-stylish-haskell-plugin -version: 1.0.0.1 +version: 1.0.0.2 synopsis: Integration with the Stylish Haskell code formatter license: Apache-2.0 license-file: LICENSE @@ -23,7 +23,7 @@ library , ghc , ghc-boot-th , ghcide >=1.2 && <1.5 - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , lsp-types , stylish-haskell ^>=0.12 , text @@ -40,4 +40,4 @@ test-suite tests , base , filepath , hls-stylish-haskell-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 diff --git a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal index edab1a8ceb..073f55ce79 100644 --- a/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal +++ b/plugins/hls-tactics-plugin/hls-tactics-plugin.cabal @@ -1,7 +1,7 @@ cabal-version: 2.4 category: Development name: hls-tactics-plugin -version: 1.2.0.0 +version: 1.3.0.0 synopsis: Wingman plugin for Haskell Language Server description: Please see README.md author: Sandy Maguire, Reed Mullanix @@ -77,13 +77,13 @@ library , ghc-boot-th , ghc-exactprint , ghc-source-gen ^>=0.4.1 - , ghcide ^>=1.4 + , ghcide ^>=1.4.1 , hls-graph - , hls-plugin-api ^>=1.1 + , hls-plugin-api >=1.1 && <1.3 , hyphenation , lens , lsp - , megaparsec >=8 && < 10 + , megaparsec >=8 && <10 , mtl , parser-combinators , prettyprinter @@ -153,7 +153,7 @@ test-suite tests , ghcide , hls-plugin-api , hls-tactics-plugin - , hls-test-utils ^>=1.0 + , hls-test-utils >=1.0 && <1.2 , hspec , hspec-expectations , lens From fe06f5188e86cc96a89201458b125a7aa6d920a5 Mon Sep 17 00:00:00 2001 From: Junyoung/Clare Jang Date: Thu, 29 Jul 2021 15:53:15 -0400 Subject: [PATCH 3/7] Fix typo --- ChangeLog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ChangeLog.md b/ChangeLog.md index b2f2d7c44a..671b5c8b9a 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -17,7 +17,7 @@ and some new interesting features. Here is the brief summary of changes: - Wingman, where most changes owing to @isovector - An option for disabling proof state styling is added. - Tactic supports deep recursion. - - Hole fits suggestions are now disabled with Wingman for a performance reason. + - Hole fit suggestions are now disabled with Wingman for a performance reason. - Hovering on a name displays the package where the name is defined, contributed by @berberman. ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif) From 37b24629da47c99a54cdc554e86b082ed30fc484 Mon Sep 17 00:00:00 2001 From: "Junyoung \"Clare\" Jang" Date: Thu, 29 Jul 2021 17:31:26 -0400 Subject: [PATCH 4/7] Reflect feedback Co-authored-by: Sandy Maguire --- ChangeLog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ChangeLog.md b/ChangeLog.md index 671b5c8b9a..5e3e598e87 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -17,7 +17,7 @@ and some new interesting features. Here is the brief summary of changes: - Wingman, where most changes owing to @isovector - An option for disabling proof state styling is added. - Tactic supports deep recursion. - - Hole fit suggestions are now disabled with Wingman for a performance reason. + - Hole fit suggestions are now disabled for performance reasons when using Wingman. - Hovering on a name displays the package where the name is defined, contributed by @berberman. ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif) From b5f9eac465dda7ef8728f4b3ea1c773ca1112a6d Mon Sep 17 00:00:00 2001 From: "Junyoung \"Clare\" Jang" Date: Thu, 29 Jul 2021 17:31:45 -0400 Subject: [PATCH 5/7] Reflect feedback Co-authored-by: Sandy Maguire --- ChangeLog.md | 1 - 1 file changed, 1 deletion(-) diff --git a/ChangeLog.md b/ChangeLog.md index 5e3e598e87..d7085d4032 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -16,7 +16,6 @@ and some new interesting features. Here is the brief summary of changes: - The plugin uses the same default language as GHCi with @fmehta's patch. - Wingman, where most changes owing to @isovector - An option for disabling proof state styling is added. - - Tactic supports deep recursion. - Hole fit suggestions are now disabled for performance reasons when using Wingman. - Hovering on a name displays the package where the name is defined, contributed by @berberman. ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif) From eeea8b8ab8a5cc461a4f0509c9cfdaa90073ef58 Mon Sep 17 00:00:00 2001 From: Sandy Maguire Date: Thu, 29 Jul 2021 14:36:00 -0700 Subject: [PATCH 6/7] Update ChangeLog.md --- ChangeLog.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog.md b/ChangeLog.md index d7085d4032..6fe48e586e 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -15,7 +15,14 @@ and some new interesting features. Here is the brief summary of changes: - `:info` command is added by @akrmn. - The plugin uses the same default language as GHCi with @fmehta's patch. - Wingman, where most changes owing to @isovector - - An option for disabling proof state styling is added. + - Wingman no longer changes the fixity of function definitions. + - Wingman now gives unique names to the holes it generates. + - Significant improvements in Wingman's ability to reason about polymorphic and GADT types. + - Wingman no longer suggests homomorphic destructs when the codomain is larger than the domain. + - "Complete case constructors" support for empty lambda cases + - Wingman will now give a warning if it ran out of gas during "attempt to fill hole" + - Metaprogramming improvements, including symbolic-name support, and the `pointwise` combinator. + - Fixed a bug when attempting to introduce too many variables in an `intros` metaprogram. - Hole fit suggestions are now disabled for performance reasons when using Wingman. - Hovering on a name displays the package where the name is defined, contributed by @berberman. ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif) From c0be0c3fa99066b42a75b17f7cdd0ad52cd69d54 Mon Sep 17 00:00:00 2001 From: "Junyoung \"Clare\" Jang" Date: Fri, 30 Jul 2021 01:02:48 -0400 Subject: [PATCH 7/7] Update ChangeLog.md --- ChangeLog.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/ChangeLog.md b/ChangeLog.md index 6fe48e586e..7a18e7d1c1 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -17,12 +17,12 @@ and some new interesting features. Here is the brief summary of changes: - Wingman, where most changes owing to @isovector - Wingman no longer changes the fixity of function definitions. - Wingman now gives unique names to the holes it generates. - - Significant improvements in Wingman's ability to reason about polymorphic and GADT types. + - Wingman's ability to reason about polymorphic and GADT types is significantly improved. - Wingman no longer suggests homomorphic destructs when the codomain is larger than the domain. - - "Complete case constructors" support for empty lambda cases - - Wingman will now give a warning if it ran out of gas during "attempt to fill hole" - - Metaprogramming improvements, including symbolic-name support, and the `pointwise` combinator. - - Fixed a bug when attempting to introduce too many variables in an `intros` metaprogram. + - "Complete case constructors" action supports empty lambda cases. + - Wingman now gives a warning if it ran out of gas during "attempt to fill hole". + - Metaprogramming for Wingman has been improved with symbolic-name support and the `pointwise` combinator. + - An option to enable/disable Wingman's proof state styling is added. - Hole fit suggestions are now disabled for performance reasons when using Wingman. - Hovering on a name displays the package where the name is defined, contributed by @berberman. ![hover](https://user-images.githubusercontent.com/12473268/127550516-acc1f1b4-bad7-44fd-99a0-a174ce9ac909.gif)