[Agda] [Haskell-cafe] Problem with compilation on MAC OS X
Simon Thompson
s.j.thompson at kent.ac.uk
Thu May 30 17:24:56 CEST 2013
Aha! Nicely self-referential problem.
% cabal --version
cabal-install version 0.10.2
using version 1.10.2.0 of the Cabal library
I have tried to upgrade cabal using cabal, but *it* fails because of this error too. I guess I should look for a "from scratch" installation, or maybe I have a problem with paths?
Simon
On 30 May 2013, at 16:17, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> On 2013-05-30 15:55, Simon Thompson wrote:
>>
>> Sorry - forwarded the wrong email. Not my day :-)
>
> The problem that is reported is in the file Paths_Agda, which is
> /generated by Cabal/. With recent versions of Cabal the file Paths_Agda
> only uses Exception.catch. What version of Cabal are you using
> (cabal --version)?
>
> --
> /NAD
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130530/178d2b05/attachment-0001.html
More information about the Agda
mailing list