<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Oops! It *is* a path problem:<div><br></div><div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><div>% which cabal</div><div>/Users/simonthompson/.cabal/bin/cabal</div><div>% whereis cabal</div><div>/usr/bin/cabal</div><div>% /usr/bin/cabal --version</div><div>cabal-install version 1.16.0.2</div><div>using version 1.16.0 of the Cabal library </div></div><div><br></div></blockquote>Sorry about that, and thanks for your help.</div><div><br></div><div>Simon<br><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><br></div></blockquote>On 30 May 2013, at 16:17, Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se">nad@cse.gu.se</a>> wrote:<br><br><blockquote type="cite">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><br><div>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>