Skip to content

Adding missing constraint to type signature is broken when "forall" is present #1164

Closed
@jhrcek

Description

@jhrcek

Reproducer

Reproduced with
haskell-language-server version: 0.8.0.0 (GHC: 8.8.4) (PATH: /home/jhrcek/.local/bin/haskell-language-server) (GIT hash: bde552b)

NOTE: previously I've made this code action more robust by fixing the behavior when context is formatted over multiple lines (haskell/ghcide#839). But it seems some more work is needed. I'll probably get to fixing this over the weekend.

Metadata

Metadata

Assignees

No one assigned

    Labels

    type: 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