30 May
2013
30 May
'13
8 a.m.
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@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt