Skip to content

Set module name to <name> is suggested even if the module is already called <name> #2797

Closed
@konsumlamm

Description

@konsumlamm

Example

set_module_name

Version

GHC version: 9.2.1
HLS version: 1.6.1.0

Metadata

Metadata

Assignees

No one assigned

    Labels

    GHCissues with particular GHC versionscomponent: hls-module-name-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