[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