[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