[Agda] error in plfa exercise

Michel Levy michel.levy.imag at free.fr
Thu Apr 16 10:39:43 CEST 2020


I can't upgrade my agda 2.5.3 version. I tried to install the version
2.6.1 with cabal. But I get the error

src/full/Agda/VersionCommit.hs:5:1: error:
    Failed to load interface for ‘Development.GitRev’
    There are files missing in the
‘gitrev-1.3.1 at gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-5754/Agda-2.6.1'
cabal: Error: some packages failed to install:
Agda-2.6.1 failed during the building phase. The exception was:
ExitFailure 1

And I don't know what to do to avoid these mistakes. When I try the
command 'ghc-pkg check', I get a list of many pages of missing files. 
That's why I'm forced to stick with my 2.5.3 version. 

Sincerely yours


Le 15/04/2020 à 23:09, Philip Wadler a écrit :
> If you want to study PLFA, best to upgrade to 2.6.0.1. I believe there
> are other ways to install Agda besides using an Ubuntu package. Yours,
> -- P
>
> .   \ Philip Wadler, Professor of Theoretical Computer Science,
> .   /\ School of Informatics, University of Edinburgh
> .  /  \ and Senior Research Fellow, IOHK
> . http://homepages.inf.ed.ac.uk/wadler/
>
>
>
-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200416/0131686c/attachment.html>


More information about the Agda mailing list