Skip to content

Syntax is messed up when adding a constraint to quantified constraints #3486

Open
@turion

Description

@turion

Your environment

Which OS do you use?

Nixos unstable

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

9.2.4 installed via nix

How is your project built (alternative: link to the project)?

cabal
https://github.com/turion/essence-of-live-coding

Which LSP client (editor/plugin) do you use?

vscodium + Haskell 2.2.2

Which version of HLS do you use and how did you install it?

1.9.0.0 via nix

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

The editor plugin is configured to use fourmolu

Steps to reproduce

Write a function with quantified constraints in the type signature

image

A constraint is missing, open menu and ask to add the constraint

image

The constraint is added, but the syntax of the constraints is broken: Some important brackets are removed.

image

Expected behaviour

The missing constraint is added without breaking the syntax

Actual behaviour

The syntax is broken, brackets are removed in places where nothing should have changed

Debug information

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: hls-refactor-pluginIssues related to the hls-refactor-plugintype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions