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

Simon Thompson s.j.thompson at kent.ac.uk
Thu May 30 15:50:42 CEST 2013


Just come across this on upgrading to the latest Haskell Platform.

Regards

Simon


Begin forwarded message:

> From: Simon Thompson <s.j.thompson at kent.ac.uk>
> Subject: [Haskell-cafe] Problem with compilation on MAC OS X
> Date: 30 May 2013 13:00:40 BST
> To: Haskell Cafe <haskell-cafe at haskell.org>
> 
> 
> New machine, latest version of the Haskell Platform for 64 bit Mac OS X. In trying to build a new version of cabal-install and also of Agda I get variants of the same error
> 
>  dist/build/autogen/Paths_Agda.hs:21:13: Not in scope: `catch'
> 
> any thoughts on what I am doing wrong? 
> 
> I have XCode command line tools installed.
> 
> Thanks!
> 
> Simon T.
> 
> 
> 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
> 
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

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




More information about the Agda mailing list