[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