[Agda] Install failure ghc-7.0.2 / cabal solved

[Andrea Vezzosi]

On Thu, Mar 24, 2011 at 12:54 PM, Christoph Herrmann
<ch at cs.st-andrews.ac.uk> wrote:
> Hi Bengt,
>
> On 23 Mar 2011, at 21:06, Bengt Nordstrom wrote:
>
>> Christoph, how much time did you spend on this?
>
> a few hours, but some of that as a background task. And I
> hope to reuse cabal for other ghc-related software as well.
> Please note: the problem is the combination of cabal
> and ghc with its libraries; not Agda as such.
>
> It would be nice if the ghc web pages would tell explicitly which
> version of cabal works with which version of ghc. It is strange that
> the "stable" version of cabal is actually the wrong one for
> the current version of ghc.

I saw you used the darcs version, though cabal-install-0.10.x is
released on hackage.
Also, the Haskell Platform comes with the right version of cabal-install.