[Agda] Building Agda on GHC 7.9
Mateusz Kowalczyk
fuuzetsu at fuuzetsu.co.uk
Mon Mar 31 07:57:14 CEST 2014
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.
>
> Kyra
>
> On 3/30/2014 23:39, Ulf Norell wrote:
>> You always need the template-haskell that comes with the compiler, so
>> you should change Agda.cabal to allow your installed template-haskell.
>>
>> / Ulf
>>
>>
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.
I e-mailed the maintainer of geniplate about bumping the TH version
bound but I haven't heard back yet.
--
Mateusz K.
More information about the Agda
mailing list