[Agda] Agda and GHC 7.8
Andreas Abel
abela at chalmers.se
Sat Sep 27 15:52:02 CEST 2014
Sorry, I could not reproduce these problems either.
cabal sandbox init
cabal install Agda
Everything compiles fine.
abel at agda:~/tmp/agda-sandbox$ cabal --version
cabal-install version 1.20.0.3
using version 1.20.0.2 of the Cabal library
abel at agda:~/tmp/agda-sandbox$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.8.3
abel at agda:~/tmp/agda-sandbox$ cpphs --version
cpphs 1.18.5
abel at agda:~/tmp/agda-sandbox$ .cabal-sandbox/bin/cpphs --version
cpphs 1.18.5
On 27.09.2014 14:41, Andrés Sicard-Ramírez wrote:
>
> On 27 September 2014 00:27, Liam O'Connor <liamoc at cse.unsw.edu.au
> <mailto:liamoc at cse.unsw.edu.au>> wrote:
>
> I am also having the exact same problem as Janek building Agda
> within a cabal sandbox,
>
>
> I couldn't reproduce the issue using a cabal sandbox.
>
>
> --
> Andrés
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list