[Agda] problem installing agda (template Haskell ?)

Thorsten Altenkirch Thorsten.Altenkirch at nottingham.ac.uk
Wed May 22 17:29:15 CEST 2019


Hi guys,

Has anybody encountered a problem installing agda in the moment? Cabal install fails with some error messages to do with template Haskell. First it says


Use --force-reinstalls if you want to install anyway.

But when I do it it runs into an error


Building geniplate-mirror-0.7.6...

Preprocessing library geniplate-mirror-0.7.6...

[1 of 1] Compiling Data.Generics.Geniplate ( Data/Generics/Geniplate.hs, dist/dist-sandbox-d9c30c4b/build/Data/Generics/Geniplate.o )



Data/Generics/Geniplate.hs:264:33: error:

    • Can't find interface-file declaration for type constructor or class Language.Haskell.TH.Lib.ExpQ

        Probable cause: bug in .hi-boot file, or inconsistent .hi file

        Use -ddump-if-trace to get an idea of which file caused the error


…

I am using

sean:agda txa$ ghc --version

The Glorious Glasgow Haskell Compilation System, version 8.0.1
on a mac and the latest version of the agda repo.

I attach a dump from the terminal. I tried this on 2 different machines.

Thorsten



This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190522/b6780943/attachment-0001.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: problem.txt
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190522/b6780943/attachment-0001.txt>


More information about the Agda mailing list