[Agda] Building with GHC 7.4

[Andrés Sicard-Ramírez]

On Thu, Dec 22, 2011 at 3:27 PM, Dirk Ullrich
<dirk.ullrich at googlemail.com> wrote:
> Hello,
>
> with some tiny changes Agda 2 can be built by GHC 7.4. An appropriate
> Darcs patch is attached.

The user's guide for GHC 7.2.2 says that a SPECIALIZE instance pragma
must occur inside the where part of the instance declaration
(http://www.haskell.org/ghc/docs/7.2.2/html/users_guide/pragmas.html#specialize-instance-pragma),
but it is not checked by GHC 7.2.2 (I reported this issue to the GHC
team (http://hackage.haskell.org/trac/ghc/ticket/5718)). Therefore, it
is necessary put the line

{-# SPECIALIZE instance Monad TCM #-}

from the module Agda.TypeChecking.Monad.Base in the right place,
instead of put it in comments.

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.

-- 
Andrés