[Agda] Agda and GHC 7.8

Roly Perera roly.perera at dynamicaspects.org
Thu Sep 25 14:25:22 CEST 2014


Unfortunately the Agda/Cabal/GHC ecosystem is complex enough for there
to be failure points that aren't Agda bugs. Stack Overflow is a good
place to find a solution (after some careful searches first).

One problem you might run into is the Cabal 1.16.* incompatibility
with GHC 7.8. This is some information here:

http://stackoverflow.com/questions/25104367/ghc-incompatibility-installing-haskell-src-exts-via-cabal

Roly

On 25 September 2014 19:49, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
> Thanks Andrés.
>
>> The latest version of Agda in Hackage works with GHC 7.8.3.
> Not for me. :-(
>
>> Please report the issues in https://code.google.com/p/agda/issues/list.
> Sorry, but that requires a google account.
>
> Janek
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


More information about the Agda mailing list