Set module name to <name>
is suggested even if the module is already called <name>
#2797
Labels
component: hls-module-name-plugin
GHC
issues with particular GHC versions
type: bug
Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Example
Version
GHC version: 9.2.1
HLS version: 1.6.1.0
The text was updated successfully, but these errors were encountered: