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