[Agda] Re: Building Agda with ghc-6.12.3: build failure on geniplate

[Guillaume Brunerie]

On 2012/10/10 Guillaume Brunerie <guillaume.brunerie at gmail.com> wrote:
> Hello,
>
> I’m trying to build Agda with ghc-6.12.3 (on the computers of the
> Institute for Advanced Study), but geniplate-0.6.0.2 fails to build.
> I’ve searched on Internet and it seems that this problem is known and
> that Nils Anders Danielsson has already sent a patch to make geniplate
> build with ghc-6.12.3 but this patch does not seem to have been
> applied upstream and I can’t find it anywhere.
>
> Where can I find this patch?
>
> Thank you,
>
> Guillaume Brunerie

Just to be more complete, I tried to build geniplate-0.6.0.2,
geniplate-0.6.0.1 and geniplate-0.6.0.0 with ghc-6.12.3 and
cabal-install-0.14.0 (the latest version of cabal-install does not
compile with ghc-6.12.3) and I get the same error each time (with
different line numbers):


$ HOME=~/Agda cabal install geniplate
Warning: Falling back to topdown solver for GHC < 7.
Resolving dependencies...
Configuring geniplate-0.6.0.2...
Building geniplate-0.6.0.2...
Preprocessing library geniplate-0.6.0.2...
[1 of 1] Compiling Data.Generics.Geniplate (
Data/Generics/Geniplate.hs, dist/build/Data/Generics/Geniplate.o )

Data/Generics/Geniplate.hs:137:4:
    `qClassInstances' is not a (visible) method of class `Quasi'

Data/Generics/Geniplate.hs:137:31: Not in scope: `qClassInstances'
cabal: Error: some packages failed to install:
geniplate-0.6.0.2 failed during the building phase. The exception was:
ExitFailure 1
$

Thank you,

Guillaume