Dear all, On 13 January 2016 at 10:43, Ben Gamari 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