[Agda] Installing from darcs

[Ulf Norell]

On Tue, Nov 4, 2008 at 1:21 PM, <J.Burton at brighton.ac.uk> wrote:

> 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


That's odd. It compiles without problems for me. quickCheck' is defined in
Agda.Utils.QuickCheck.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081104/50a03629/attachment.html