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

[Jesper Cockx]

Hi all,

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:
    Agda-2.4.3:Agda.TypeChecking.Positivity.D1OccursWhere{tc alMuO}
    [(rlMi9,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$sunionWith{v
rlMi9}'),
     (rlMia,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$strimLookupLo{v
rlMia}'),
     (rlMib,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$strim{v rlMib}'),
     (rlMic,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$slookup{v
rlMic}'),
     (rlMid,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$sfilterLt{v
rlMid}'),
     (rlMie,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$sfilterGt{v
rlMie}'),
     (rlMif,
      Identifier
`Agda-2.4.3:Agda.TypeChecking.Positivity.$fShowOccursWhere{v rlMif}'),
     (rlMig,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fShowNode{v
rlMig}'),
     (rlMih,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fShowItem{v
rlMih}'),
     (rlMii,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fSemiRingEdge{v
rlMii}'),
     (rlMij,
      Identifier
`Agda-2.4.3:Agda.TypeChecking.Positivity.$fPrettyTCMWithNode{v rlMij}'),
     (rlMik,
      Identifier
`Agda-2.4.3:Agda.TypeChecking.Positivity.$fPrettyTCMOccursWhere{v rlMik}'),
     (rlMil,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fPrettyTCMNode{v
rlMil}'),
     (rlMim,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fOrdNode{v
rlMim}'),
     (rlMin,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fOrdItem{v
rlMin}'),
     (rlMio,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fNullEdge{v
rlMio}'),
     (rlMip,
      Identifier
`Agda-2.4.3:Agda.TypeChecking.Positivity.$fGenericOccursWhere{v rlMip}'),
     (rlMiq,
      Identifier `Agda-2.4.3:Agda.TypeChecking.Positivity.$fGenericEdge{v
rlMiq}'),
     (rlMir,ghc: panic! (the 'impossible' happened)
  (GHC version 7.6.3 for x86_64-unknown-linux):
    ghc: panic! (the 'impossible' happened)
  (GHC version 7.6.3 for x86_64-unknown-linux):
    tcIfaceGlobal (local): not found:
<<details unavailable>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150624/c179f671/attachment.html