Skip to content

Case split does not work #3575

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

Closed
largeword opened this issue May 3, 2023 · 2 comments
Closed

Case split does not work #3575

largeword opened this issue May 3, 2023 · 2 comments

Comments

@largeword
Copy link

Hi, in PR, there is supposed a case automatically split up feature, but it does not show up in vscode, and I also don't know how to enable it manually.

So can someone guide me in the right direction to make it work?

@fendor
Copy link
Collaborator

fendor commented May 4, 2023

Hi, thank you for your bug report!
The linked PR is unfortunately old and not relevant any more.

I am moving the issue to the main repo of Haskell Language Server, since that's the thing that takes care of such features.
Additionally, case split was dropped, I believe, mainly because there were issues with maintenance. See the plugin support for the hls-tactics-plugin: https://haskell-language-server.readthedocs.io/en/latest/support/plugin-support.html#current-plugin-support-tiers

@fendor fendor transferred this issue from haskell/vscode-haskell May 4, 2023
@michaelpj
Copy link
Collaborator

I'm going to close as a duplicate of #2971

@michaelpj michaelpj closed this as not planned Won't fix, can't repro, duplicate, stale May 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants