[ANNOUNCE] GHC 8.2.1 release candidate 3 available

David Feuer david at well-typed.com
Sun Jul 9 16:50:27 UTC 2017


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.


More information about the ghc-devs mailing list