Dear all, On 13 January 2016 at 10:43, Ben Gamari <b...@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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
