I\'m using a VM with the following configuration:
I don't understand this error, but it happened to me also earlier today while trying to install Agda 2.3 using GHC 7.4. Saizan from #agda suggested that I try
cabal unpack zlib
cd zlib-0.5.3.2/
runghc Setup configure --user; runghc Setup build; runghc Setup install
This proved effective. But I'm still in the dark about what's actually the problem.
Still, as it worked, I thought I'd share.