|
1 | 1 | # Changelog for haskell-language-server
|
2 | 2 |
|
| 3 | +## 1.3.0 |
| 4 | + |
| 5 | +2021 July release of HLS arrives! This release includes binaries for GHC 9.0.1 |
| 6 | +and some new interesting features. Here is the brief summary of changes: |
| 7 | + |
| 8 | +- Binaries for GHC 9.0.1 are added by @anka-213. |
| 9 | +- Call hierarchy plugin is added, contributed by @July541. |
| 10 | +  |
| 11 | +- Now completions work with definitions from non-imported modules, thanks to @pepeiborra. |
| 12 | +  |
| 13 | +- Eval plugin |
| 14 | + - The plugin supports GHC 9.0.1, thanks to @berberman. |
| 15 | + - `:info` command is added by @akrmn. |
| 16 | + - The plugin uses the same default language as GHCi with @fmehta's patch. |
| 17 | +- Wingman, where most changes owing to @isovector |
| 18 | + - Wingman no longer changes the fixity of function definitions. |
| 19 | + - Wingman now gives unique names to the holes it generates. |
| 20 | + - Wingman's ability to reason about polymorphic and GADT types is significantly improved. |
| 21 | + - Wingman no longer suggests homomorphic destructs when the codomain is larger than the domain. |
| 22 | + - "Complete case constructors" action supports empty lambda cases. |
| 23 | + - Wingman now gives a warning if it ran out of gas during "attempt to fill hole". |
| 24 | + - Metaprogramming for Wingman has been improved with symbolic-name support and the `pointwise` combinator. |
| 25 | + - An option to enable/disable Wingman's proof state styling is added. |
| 26 | + - Hole fit suggestions are now disabled for performance reasons when using Wingman. |
| 27 | +- Hovering on a name displays the package where the name is defined, contributed by @berberman. |
| 28 | +  |
| 29 | + |
| 30 | +### Pull requests merged for 1.3.0 |
| 31 | + |
| 32 | +- Wingman: Properly destruct forall-quantified types |
| 33 | +([#2049](https://github.com/haskell/haskell-language-server/pull/2049)) by @isovector |
| 34 | +- Remove .stack-work from circleci cache |
| 35 | +([#2044](https://github.com/haskell/haskell-language-server/pull/2044)) by @jneira |
| 36 | +- Completions from non-imported modules |
| 37 | +([#2040](https://github.com/haskell/haskell-language-server/pull/2040)) by @pepeiborra |
| 38 | +- Wingman: Low gas warning |
| 39 | +([#2038](https://github.com/haskell/haskell-language-server/pull/2038)) by @isovector |
| 40 | +- Enable dynamic linking in stack builds |
| 41 | +([#2031](https://github.com/haskell/haskell-language-server/pull/2031)) by @pepeiborra |
| 42 | +- Fix nix flake |
| 43 | +([#2030](https://github.com/haskell/haskell-language-server/pull/2030)) by @Avi-D-coder |
| 44 | +- Tie plugins' pluginModifyDynflags to their enabled state |
| 45 | +([#2029](https://github.com/haskell/haskell-language-server/pull/2029)) by @isovector |
| 46 | +- Add benchmarks for hole fits |
| 47 | +([#2027](https://github.com/haskell/haskell-language-server/pull/2027)) by @pepeiborra |
| 48 | +- fix a typo |
| 49 | +([#2024](https://github.com/haskell/haskell-language-server/pull/2024)) by @cdsmith |
| 50 | +- Upgrade to refinery-0.4.0.0 |
| 51 | +([#2021](https://github.com/haskell/haskell-language-server/pull/2021)) by @isovector |
| 52 | +- Use implicit-hie-cradle-0.3.0.5 |
| 53 | +([#2020](https://github.com/haskell/haskell-language-server/pull/2020)) by @jneira |
| 54 | +- Disable hls tests for win and ghc-9.0.1 |
| 55 | +([#2018](https://github.com/haskell/haskell-language-server/pull/2018)) by @jneira |
| 56 | +- Use operational master commit to fix build for ghc-9.0.1 |
| 57 | +([#2017](https://github.com/haskell/haskell-language-server/pull/2017)) by @jneira |
| 58 | +- Fix Wingman dependency on extra |
| 59 | +([#2007](https://github.com/haskell/haskell-language-server/pull/2007)) by @pepeiborra |
| 60 | +- Add GHC 9.2 support for hie-compat |
| 61 | +([#2003](https://github.com/haskell/haskell-language-server/pull/2003)) by @fendor |
| 62 | +- Enable tests for ghc 9 and promote `ghcVersion` check |
| 63 | +([#2001](https://github.com/haskell/haskell-language-server/pull/2001)) by @jneira |
| 64 | +- Allow HLS plugins to declare cli commands |
| 65 | +([#1999](https://github.com/haskell/haskell-language-server/pull/1999)) by @pepeiborra |
| 66 | +- Remove >= from cabal-version |
| 67 | +([#1998](https://github.com/haskell/haskell-language-server/pull/1998)) by @felixonmars |
| 68 | +- Eval plugin: support ghc 9.0.1 |
| 69 | +([#1997](https://github.com/haskell/haskell-language-server/pull/1997)) by @berberman |
| 70 | +- Maximize sharing of NormalizedFilePath values in getLocatedImports |
| 71 | +([#1996](https://github.com/haskell/haskell-language-server/pull/1996)) by @pepeiborra |
| 72 | +- nix: add support for ghc 9.0.1 |
| 73 | +([#1995](https://github.com/haskell/haskell-language-server/pull/1995)) by @berberman |
| 74 | +- Warn GHC 9 Compatibility to LSP Client |
| 75 | +([#1992](https://github.com/haskell/haskell-language-server/pull/1992)) by @konn |
| 76 | +- Update nix to GHC 8.10.5 |
| 77 | +([#1991](https://github.com/haskell/haskell-language-server/pull/1991)) by @berberman |
| 78 | +- Initialize ExportsMap using hiedb exports |
| 79 | +([#1989](https://github.com/haskell/haskell-language-server/pull/1989)) by @pepeiborra |
| 80 | +- Wingman: add emacs example config to Readme |
| 81 | +([#1988](https://github.com/haskell/haskell-language-server/pull/1988)) by @stuebinm |
| 82 | +- relax megaparsec constraint in hls-tactics-plugin |
| 83 | +([#1986](https://github.com/haskell/haskell-language-server/pull/1986)) by @pepeiborra |
| 84 | +- follow change in lsp-types |
| 85 | +([#1985](https://github.com/haskell/haskell-language-server/pull/1985)) by @pepeiborra |
| 86 | +- Don't suggest import an unnecessary data constructor. |
| 87 | +([#1984](https://github.com/haskell/haskell-language-server/pull/1984)) by @peterwicksstringfield |
| 88 | +- Enable hyphenation embedding |
| 89 | +([#1979](https://github.com/haskell/haskell-language-server/pull/1979)) by @isovector |
| 90 | +- Fix nix.yaml |
| 91 | +([#1974](https://github.com/haskell/haskell-language-server/pull/1974)) by @isovector |
| 92 | +- Add windows to ghcup artifacts and generate sha256 sums |
| 93 | +([#1970](https://github.com/haskell/haskell-language-server/pull/1970)) by @jneira |
| 94 | +- Wingman: Ensure homomorphic destruct covers all constructors in the domain |
| 95 | +([#1968](https://github.com/haskell/haskell-language-server/pull/1968)) by @isovector |
| 96 | +- Wingman: Add the correct file offset to metaprogram parse errors |
| 97 | +([#1967](https://github.com/haskell/haskell-language-server/pull/1967)) by @isovector |
| 98 | +- Wingman: Config option to suppress proofstate styling |
| 99 | +([#1966](https://github.com/haskell/haskell-language-server/pull/1966)) by @isovector |
| 100 | +- Wingman: Don't wildify vars when running beginMetaprogram |
| 101 | +([#1963](https://github.com/haskell/haskell-language-server/pull/1963)) by @isovector |
| 102 | +- Wingman: Don't suggest empty case lenses for case exprs with no data cons |
| 103 | +([#1962](https://github.com/haskell/haskell-language-server/pull/1962)) by @isovector |
| 104 | +- Wingman: Don't introduce too many variables |
| 105 | +([#1961](https://github.com/haskell/haskell-language-server/pull/1961)) by @isovector |
| 106 | +- Wingman: Code lens for empty lambda case |
| 107 | +([#1956](https://github.com/haskell/haskell-language-server/pull/1956)) by @isovector |
| 108 | +- Call hierarchy support |
| 109 | +([#1955](https://github.com/haskell/haskell-language-server/pull/1955)) by @July541 |
| 110 | +- Bugfix type signature lenses / code actions for pattern synonyms. |
| 111 | +([#1952](https://github.com/haskell/haskell-language-server/pull/1952)) by @peterwicksstringfield |
| 112 | +- Add :info command in Eval plugin |
| 113 | +([#1948](https://github.com/haskell/haskell-language-server/pull/1948)) by @akrmn |
| 114 | +- avoid holding onto the hie bytestring when indexing |
| 115 | +([#1947](https://github.com/haskell/haskell-language-server/pull/1947)) by @pepeiborra |
| 116 | +- Wingman: Make getCurrentDefinitions return polymorphic types |
| 117 | +([#1945](https://github.com/haskell/haskell-language-server/pull/1945)) by @isovector |
| 118 | +- Wingman: Tactical support for deep recursion |
| 119 | +([#1944](https://github.com/haskell/haskell-language-server/pull/1944)) by @isovector |
| 120 | +- Properly scope GADT equality evidence in the judgment |
| 121 | +([#1942](https://github.com/haskell/haskell-language-server/pull/1942)) by @isovector |
| 122 | +- Add ghc-9.0.1 to the build release script |
| 123 | +([#1940](https://github.com/haskell/haskell-language-server/pull/1940)) by @anka-213 |
| 124 | +- Cata tactic should generalize let and ensure unifiability |
| 125 | +([#1938](https://github.com/haskell/haskell-language-server/pull/1938)) by @isovector |
| 126 | +- Include chocolatey hls package |
| 127 | +([#1936](https://github.com/haskell/haskell-language-server/pull/1936)) by @jneira |
| 128 | +- Mention ghcup and warning about updating artifacts |
| 129 | +([#1935](https://github.com/haskell/haskell-language-server/pull/1935)) by @jneira |
| 130 | +- Remove ghc-8.8.2 |
| 131 | +([#1934](https://github.com/haskell/haskell-language-server/pull/1934)) by @jneira |
| 132 | +- Workaround for GHC 8.10.5 on macOS |
| 133 | +([#1931](https://github.com/haskell/haskell-language-server/pull/1931)) by @konn |
| 134 | +- Add manual upload instructions |
| 135 | +([#1930](https://github.com/haskell/haskell-language-server/pull/1930)) by @jneira |
| 136 | +- Perform name lookup directly in TacticsM |
| 137 | +([#1924](https://github.com/haskell/haskell-language-server/pull/1924)) by @isovector |
| 138 | +- Include testdata in hls-refine-imports-plugin.cabal (backport #1922) |
| 139 | +([#1923](https://github.com/haskell/haskell-language-server/pull/1923)) by @mergify[bot] |
| 140 | +- Include testdata in hls-refine-imports-plugin.cabal |
| 141 | +([#1922](https://github.com/haskell/haskell-language-server/pull/1922)) by @felixonmars |
| 142 | +- Add pointwise command to the metaprogram parser |
| 143 | +([#1921](https://github.com/haskell/haskell-language-server/pull/1921)) by @isovector |
| 144 | +- Allow symbol identifiers in tactics |
| 145 | +([#1920](https://github.com/haskell/haskell-language-server/pull/1920)) by @isovector |
| 146 | +- Fall back to hiedb for invalid srcspan paths |
| 147 | +([#1918](https://github.com/haskell/haskell-language-server/pull/1918)) by @pepeiborra |
| 148 | +- Disable hole fit suggestions when running Wingman |
| 149 | +([#1873](https://github.com/haskell/haskell-language-server/pull/1873)) by @isovector |
| 150 | +- Wingman: maintain user-defined fixity for definitions |
| 151 | +([#1697](https://github.com/haskell/haskell-language-server/pull/1697)) by @isovector |
| 152 | +- Display package names of external libraries on hover |
| 153 | +([#1626](https://github.com/haskell/haskell-language-server/pull/1626)) by @berberman |
| 154 | +- Make the eval plugin use the same default language extensions as ghci. |
| 155 | +([#1596](https://github.com/haskell/haskell-language-server/pull/1596)) by @fmehta |
| 156 | + |
3 | 157 | ## 1.2.0
|
4 | 158 |
|
5 | 159 | We have finally released a new version of Haskell Language Server!
|
|
0 commit comments