Cannot get automatic case splitting to work

[niekvandepas]

I'm a happy user of HLS, but for some reason cannot get automatic case splitting to work in any file or project.

Your environment

Which OS do you use?
MacOS Ventura 13.1

Which version of GHC do you use and how did you install it?
9.4.4 from GHCUP

Which LSP client (editor/plugin) do you use?
VS Code with the Haskell extension

Which version of HLS do you use and how did you install it?
Version 1.9.1.0 aarch64 ghc-9.4.4 from GHCUP

Have you configured HLS in any way (especially: a hie.yaml file)?
No

What's wrong?

Take the following code example:

data FuzzyBool = True | HalfTrue | False

convertFuzzyBool :: FuzzyBool -> Int
convertFuzzyBool fb = _

The only quick fixes suggested at _ are hole fits. Case splitting is not provided.

Debug information

[fendor]

Iirc, the plugin wingman is incompatible with GHC 9.4.4, see https://github.com/haskell/haskell-language-server/blob/master/docs/support/plugin-support.md (it is called hls-tactics-plugin)

[niekvandepas]

Thanks! I think the docs are slightly confusing here: hls-tactics-plugin on Hackage prompts you to go to the HLS readme on github, which, when you follow Supported GHC Versions lists "full support" for GHC 9.4.4.

[fendor]

Indeed, the issue is just what "full support" means. A bit higher, it specifies that it means "most tier 2 plugins work", and then you'd have to check what tier wingman and what is its plugin support.
It is a bit difficult to provide more accurate information, while not over-bearing readers with info.

[fendor]

Closing, for now, but feel free to reopen if this resolve isnt to your satisfaction.

[niekvandepas]

Yeah, I'd argue that that is not what 'full support' would mean to most (lay) readers, and that the terminology should be rethought, but that is a seperate issue.