[Agda] Fwd: [Haskell-cafe] Problem with compilation on MAC OS X
Simon Thompson
s.j.thompson at kent.ac.uk
Thu May 30 15:55:23 CEST 2013
Sorry - forwarded the wrong email. Not my day :-)
S.
Begin forwarded message:
> From: Artyom Kazak <artyom.kazak at gmail.com>
> Subject: Re: [Haskell-cafe] Problem with compilation on MAC OS X
> Date: 30 May 2013 13:28:46 BST
> To: Simon Thompson <s.j.thompson at kent.ac.uk>
> Cc: Haskell-Cafe <haskell-cafe at haskell.org>
>
> 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:
>
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130530/a4691a56/attachment.html
More information about the Agda
mailing list