[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Sergei Meshveliani mechvel at botik.ru
Fri Dec 18 14:00:48 CET 2015


On Fri, 2015-12-18 at 13:48 +0100, Jesper Cockx wrote:
> 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?
> 


In what directory need I to command

   > git pull

?

Also, please, read my last letter about  agda-unification
and  Development Standard library of December 18
(this is for another attempt, for a machine with ghc-7.10.2).

------
Sergei




> 
> 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
>         
> 
> 




More information about the Agda mailing list