[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Sergei Meshveliani mechvel at botik.ru
Fri Dec 18 13:10:02 CET 2015


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




More information about the Agda mailing list