Code action to remove redundant constraints can't deal with type operators properly #1300
Labels
component: ghcide
type: bug
Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Your environment
Output of
haskell-language-server --probe-tools
orhaskell-language-server-wrapper --probe-tools
:haskell-language-server version: 0.9.0.0 (GHC: 8.10.3) (PATH: /home/berberman/.cabal/store/ghc-8.10.3/haskell-language-server-0.9.0.0-81f61f357a41d74a3d6d524b9f8f4949ec5bbcb5dd08161f78f8859c0cd951c1/bin/haskell-language-server) Tool versions found on the $PATH cabal: 3.2.0.0 stack: Not found ghc: 8.10.3
Which lsp-client do you use:
vscode
Steps to reproduce
Create a haskell file like this, then try applying code actions to remove redundant constraints:
Expected behaviour
It results in:
Actual behaviour
f
's type signature becamef :: **) a => a -> b -> a
g
h
's type signature becameh :: (**) a b => a -> b -> a
The text was updated successfully, but these errors were encountered: