[Agda] Compiling Standard Library with GHC 7.6

Lyndon Maydwell maydwell at gmail.com
Mon Sep 17 03:32:18 CEST 2012


Hi Dirk.

Just a couple of questions as you seem like you might be someone who
knows about using unadvisedly cutting-edge software with Agda :-)

Were you able to compile Agda itself from 7.6.1? If so, was this from
Darcs head?
Is there a working Agda config file for Emacs 24.1.1?

Thanks!

On Sun, Sep 16, 2012 at 2:32 AM, Dirk Ullrich <dirk.ullrich at gmail.com> wrote:
> Hello,
>
> if one wants to compile Agda's Standard Library (form Darcs) with GHC
> 7.6 one has to adapt the version of `base' in
> `ffi/agda-lib-ffi.cabal', too.
> The (diff-)patch appended takes care of this.
>
> Dirk
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


More information about the Agda mailing list