[Agda] Building Agda on GHC 7.9

Andreas Abel andreas.abel at ifi.lmu.de
Mon Mar 31 13:08:25 CEST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 31.03.2014 07:57, Mateusz Kowalczyk wrote:
> On 31/03/14 06:49, kyra wrote:
>> More specifically, it's geniplate, which wants TH-2.8 here, so it
>> is necessary to install geniplate separately, changing it's
>> .cabal file.
> 
> Yep, I have done it now and after fixing up some badly placed
> Haddock comments (although by mistake, by someone uncarefully
> commenting blocks out) to remove parse failures, I have managed to
> build Agda and replicate the bug in question.

Sorry, my bad, I forgot to push the patch fixing the Haddock parse
errors yesterday.  It is now on the darcs repo.

Thanks for looking into this.

> I e-mailed the maintainer of geniplate about bumping the TH
> version bound but I haven't heard back yet.

Good, we need to increase the pressure on him... ;-)

- -- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlM5TKkACgkQPMHaDxpUpLOC4wCeN27sO+NHHC0r1quKmurzVPua
twMAoKvkm4JhTvvQ5ZgKsVAw0lwD3dV2
=1ULy
-----END PGP SIGNATURE-----


More information about the Agda mailing list