Skip to content

wingman caseSplit uses out-of-scope (unqualified) constructors #3515

@aavogt

Description

@aavogt
import qualified Prelude
f :: Prelude.Maybe a -> ()
f x = _

If I ask for "Wingman: Case split on x" I get:

f Nothing = _wc
f (Just a) = _wd

I think it should have written Prelude.Nothing. If there are multiple module names, it should pick the shortest.

I'm using haskell-language-server version: 1.9.1.0 (GHC: 8.10.7)

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: wingmantype: 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