<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div>Sorry - forwarded the wrong email. Not my day :-)<div><br></div><div>S.</div><div><br><div><br><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family:'Helvetica'; font-size:medium;">Artyom Kazak <<a href="mailto:artyom.kazak@gmail.com">artyom.kazak@gmail.com</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><b>Re: [Haskell-cafe] Problem with compilation on MAC OS X</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family:'Helvetica'; font-size:medium;">30 May 2013 13:28:46 BST<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family:'Helvetica'; font-size:medium;">Simon Thompson <<a href="mailto:s.j.thompson@kent.ac.uk">s.j.thompson@kent.ac.uk</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>Cc: </b></span><span style="font-family:'Helvetica'; font-size:medium;">Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org">haskell-cafe@haskell.org</a>><br></span></div><br><p dir="ltr">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.</p>
<div class="gmail_quote">On May 30, 2013 3:04 PM, "Simon Thompson" <<a href="mailto:s.j.thompson@kent.ac.uk">s.j.thompson@kent.ac.uk</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
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<br>
<br>
dist/build/autogen/Paths_Agda.hs:21:13: Not in scope: `catch'<br>
<br>
any thoughts on what I am doing wrong?<br>
<br>
I have XCode command line tools installed.<br>
<br>
Thanks!<br>
<br>
Simon T.<br>
<br>
<br>
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 <a href="tel:%2B44%207986%20085754" value="+447986085754">+44 7986 085754</a> | W <a href="http://www.cs.kent.ac.uk/~sjt" target="_blank">www.cs.kent.ac.uk/~sjt</a><br>
<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>
</blockquote></div><br><div apple-content-edited="true">
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>