<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Aha! Nicely self-referential problem. <div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>% cabal --version</div><div>cabal-install version 0.10.2</div><div>using version 1.10.2.0 of the Cabal library </div></blockquote><div><br></div><div>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?</div><div><br></div><div>Simon</div><div><br></div><div><br><div><div>On 30 May 2013, at 16:17, Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se">nad@cse.gu.se</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On 2013-05-30 15:55, Simon Thompson wrote:<br><blockquote type="cite"><br>Sorry - forwarded the wrong email. Not my day :-)<br></blockquote><br>The problem that is reported is in the file Paths_Agda, which is<br>/generated by Cabal/. With recent versions of Cabal the file Paths_Agda<br>only uses Exception.catch. What version of Cabal are you using<br>(cabal --version)?<br><br>-- <br>/NAD<br></blockquote></div><br><div apple-content-edited="true">Simon Thompson | Professor of Logic and Computation <br>School of Computing | University of Kent | Canterbury, CT2 7NF, UK<br><a href="mailto:s.j.thompson@kent.ac.uk">s.j.thompson@kent.ac.uk</a> | M +44 7986 085754 | W <a href="http://www.cs.kent.ac.uk/~sjt">www.cs.kent.ac.uk/~sjt</a><br><br></div><br></div></body></html>