[Agda] Building with GHC 7.4

[Nils Anders Danielsson]

On 2011-12-22 21:57, Andrés Sicard-Ramírez wrote:
> It seems GHC 7.2.2 is currently ignoring the above pragma, so it would
> be desirable to run the benchmarks (which are out of sync with the
> development version of the standard library) and see the differences.

I've added support for GHC 7.4 now, and updated the benchmark code.

If you run the benchmarks with and without the pragma, please let us now
if you discover any differences.

-- 
/NAD