[Agda] problem in installing QuickCheck

[Gyesik Lee]

Hi Agda users,

I am sorry to bother you with this kind of technical things,
but I have here no one to ask questions.

I am a macbook pro user and trying to install Agda.
But I am stuck in the last step.

Agda2 requires QuickCheck 2.1.0.1.
But using cabal I could install an old version.
Cabal says the newest version is available, but won't install it.
(No success with upgrade etc...)

And Manual installation failed with the following error messages.
It would be great if someone could tell me how to solve it or show another way.

I promise you to write a report of my installation trial on Mac when
everything is o.k. ^^

Thank you very much.

Gyesik

=============

dhcpa11098:QuickCheck-2.1.0.1 leegy$ ./Setup.lhs configure
Configuring QuickCheck-2.1.0.1...

dhcpa11098:QuickCheck-2.1.0.1 leegy$ ./Setup.lhs build
Preprocessing library QuickCheck-2.1.0.1...
Building QuickCheck-2.1.0.1...
[ 1 of 11] Compiling Test.QuickCheck.Exception (
Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )

Test/QuickCheck/Exception.hs:12:31:
   Class `Exception' used as a type
   In the type `Exception'
   In the type `Either Exception a'
   In the type `IO (Either Exception a)'

Test/QuickCheck/Exception.hs:15:36:
   Class `Exception' used as a type
   In the type `Exception'
   In the type `Either Exception a'
   In the type `IO (Either Exception a)'

dhcpa11098:QuickCheck-2.1.0.1 leegy$ sudo ./Setup.lhs install
Installing library in /usr/local/lib/QuickCheck-2.1.0.1/ghc-6.10.1
Setup.lhs: Error: Could not find module: Test.QuickCheck with any suffix:
["hi"]

=======