[Agda] Building with GHC 7.4

[Andrés Sicard-Ramírez]

On Thu, Dec 22, 2011 at 3:57 PM, Andrés Sicard-Ramírez
<andres.sicard.ramirez at gmail.com> wrote:
> 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)).

Fixed the link to the GHC ticket:
http://hackage.haskell.org/trac/ghc/ticket/5718

(Sorry for the noise)

-- 
Andrés