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

[Simon Thompson]

Thanks - unfortunately it breaks cabal-install too!

S.


On 30 May 2013, at 13:28, Artyom Kazak <artyom.kazak at gmail.com> wrote:

> Apparently, Agda has been broken by the recent decision to remove 'catch', which had already been deprecated for some time, from Prelude. You can fix the source yourself, or wait for a new release.
> 
> On May 30, 2013 3:04 PM, "Simon Thompson" <s.j.thompson at kent.ac.uk> wrote:
> 

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://www.haskell.org/pipermail/haskell-cafe/attachments/20130530/eebd6daf/attachment.htm>