[Agda-dev] Agda won't compile (on ghc 7.6)

[Andrés Sicard-Ramírez]

On 24 June 2015 at 10:41, Jesper Cockx <Jesper at sikanda.be> wrote:
> I'm getting the following error when I try to compile Agda (with ghc 7.6).
> What's going on?
>
> Jesper
>
> [271 of 313] Compiling Agda.Tests       ( src/full/Agda/Tests.hs,
> dist-2.4.3/build/Agda/Tests.o )
> ghc: panic! (the 'impossible' happened)
>   (GHC version 7.6.3 for x86_64-unknown-linux):
>     tcIfaceGlobal (local): not found:


I filed the issue https://code.google.com/p/agda/issues/detail?id=1585 .

-- 
Andrés