Thanks - unfortunately it breaks cabal-install too! S.
On 30 May 2013, at 13:28, Artyom Kazak <[email protected]> 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" <[email protected]> wrote: > Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK [email protected] | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
