GHC 8.0.1 RC 1 and the -fwarn-monomorphism-restriction option

Andrés Sicard-Ramírez asr at
Thu Jan 21 12:36:12 UTC 2016

Dear all,

On 13 January 2016 at 10:43, Ben Gamari <ben at> wrote:
> The GHC Team is very pleased to announce the first release candidate of
> the Glasgow Haskell Compiler 8.0.1 release.

For compiling Agda we use the -fwarn-monomorphism-restriction option.
Using GHC 7.6.3, 7.8.4 and 7.10.3 we don't get any warning, but using
GHC 8.0.1 RC 1
this option generates warnings in 103 files. Could someone give me
some information about this new behaviour?



More information about the ghc-devs mailing list