[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

[Jesper Cockx]

I pushed a patch to my branch that should fix compilation with GHC <7.10.
Can you please pull this patch (with 'git pull') and try installing again?

Jesper

On Fri, Dec 18, 2015 at 1:10 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> On Tue, 2015-12-15 at 18:11 -0500, Andrés Sicard-Ramírez wrote
>
> (about installing the  agda-unification  version):
>
>
> > On 15 December 2015 at 15:23, Sergei Meshveliani <mechvel at botik.ru>
> wrote:
> > > Installed regex-tdfa-text-1.0.0.3
> > > cabal: Error: some packages failed to install:
> > > Agda-2.5 depends on clock-0.6.0.1 which failed to install.
> >
> > GHC version?
>
>
> 7.8.3
>
>
> > regex-tdfa-text is needed by the Cabal test-suite. You can avoid to
> > install this test-suit using
> >
> >   $ make install-bin CABAL_OPTS=--disable-tests
> >
>
> This end with
>
> ---------------------------
> ...
>
> [246 of 331] Compiling Agda.TypeChecking.Rules.LHS.Problem
> ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs,
> dist-2.5/build/Agda/TypeChecking/Rules/LHS/Problem.o )
>
> src/full/Agda/TypeChecking/Rules/LHS/Problem.hs:65:10:
>     Not in scope: type constructor or class ‘Monoid’
>     Perhaps you meant ‘Monad’ (imported from Prelude)
> ---------------------------
>
>
> ------
> Sergei
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151218/eeea28f8/attachment.html