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

[Andrés Sicard-Ramírez]

Dear all,

On 13 January 2016 at 10:43, Ben Gamari <ben at well-typed.com> 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?

Best,

-- 
Andrés