Closed domenkozar closed 3 years ago
This is an intentional design. It's required to support other-modules
.
Are you experiencing any issues when using the generated config?
I do, but that's an upsteam ghcide issue then.
Not necessarily if you remove the extra options do the issues go away?
Given
It generates