-
-
Notifications
You must be signed in to change notification settings - Fork 391
Prepare 2021 July Release [HLS 1.3.0] #2052
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 3 commits
bf8192d
af131b4
fe06f51
37b2462
b5f9eac
eeea8b8
c0be0c3
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
@@ -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. | ||||||||||||||||||||
 | ||||||||||||||||||||
- Now completions work with definitions from non-imported modules, thanks to @pepeiborra. | ||||||||||||||||||||
 | ||||||||||||||||||||
- 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. | ||||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Suggested change
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. May I ask why you want to remove the line for proof state styling option? Besides that,
should this be highlighted? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
it's the least interesting thing in the change, imo. does anyone even know what a proof state is? |
||||||||||||||||||||
- Tactic supports deep recursion. | ||||||||||||||||||||
Ailrun marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||||
- Hole fit suggestions are now disabled with Wingman for a performance reason. | ||||||||||||||||||||
Ailrun marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||||
- Hovering on a name displays the package where the name is defined, contributed by @berberman. | ||||||||||||||||||||
 | ||||||||||||||||||||
|
||||||||||||||||||||
### 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! | ||||||||||||||||||||
|
Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I notice just now that call hierarchy does not work when executing it on a type signature. Is this intended, @July541?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, reference other languages' implementations, it doesn't belong to call hierarchy I think.