[Agda] Installing from darcs

[J.Burton at brighton.ac.uk]

Hi, I have a problem installing from darcs HEAD with GHC 6.8.3. I
tried installing with cabal and "runhaskell Setup..." in case there
was any difference...

jim at mowa624-jb162:~/agda/Agda2$ cabal install
Resolving dependencies...
Configuring Agda-2.1.3...
Preprocessing library Agda-2.1.3...
Building Agda-2.1.3...
[ 13 of 174] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o )

src/full/Agda/Utils/List.hs:107:4: Not in scope: `quickCheck''

src/full/Agda/Utils/List.hs:108:4: Not in scope: `quickCheck''
cabal: Error: some packages failed to install:
Agda-2.1.3 failed during the building phase. The exception was:
exit: ExitFailure 1

#####################

I have QC 2.1.0.1 installed, although it is in ~/.cabal/lib in case
that is a clue? Either way, it is available to other modules and I can
load it in ghci.

I'm quite happy to use the latest stable if HEAD sometimes won't
build, but I also tried v2.1.2 and the AFP Summer School tarball, both
of which failed with different errors. Let me know if I should post those.

Thanks,

Jim