On Sunday, July 9, 2017 1:05:44 AM EDT Andrés Sicard-Ramírez wrote:
While testing this RC candidate on Agda we found a compilation error.
The error was caused by an *unused* module which *is* compiled by this RC but it *is not* compiled by previous versions of GHC including 8.2.1 RC 2. This module was listed in the `other-modules` field of the `test-suite` section in the .cabal file. After removing the offending module, we didn't find more problems.
While I think GHC is doing the right thing here, it is not an obvious error on medium size projects like Agda. This is the reason for sharing this information.
Are you saying that Cabal is now compiling an unused module with legitimate errors that GHC detects? If so, that sounds like a Cabal issue rather than a GHC one. As you haven't offered example code, it's a bit hard to see just what you mean.