[Agda] [Haskell-cafe] Problem with compilation on MAC OS X

Simon Thompson s.j.thompson at kent.ac.uk
Thu May 30 17:35:51 CEST 2013


Oops! It *is* a path problem:

% which cabal
/Users/simonthompson/.cabal/bin/cabal
% whereis cabal
/usr/bin/cabal
% /usr/bin/cabal --version
cabal-install version 1.16.0.2
using version 1.16.0 of the Cabal library 

Sorry about that, and thanks for your help.

Simon

On 30 May 2013, at 16:17, Nils Anders Danielsson <nad at cse.gu.se> wrote:

> 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/d3f87141/attachment.html


More information about the Agda mailing list