[Agda] Standard library for Agda-2.4.0

Wolfram Kahl kahl at cas.mcmaster.ca
Sun Jun 15 22:41:38 CEST 2014


Sergei,

On Sun, Jun 15, 2014 at 02:16:36PM +0400, Sergei Meshveliani wrote:
> 2. I tried to install  agda-stdlib-2.4.0,
> and it reports of 
> 
>   rejecting: base-4.7.0.0/installed-018... (conflict: agda-lib-ffi =>
>   base>=3.0.3.1 && <4.7)
> 
> `ghc-pkg list'  shows  base-4.7.0.0  

Since you will probably run into this kind of situation again:

The constraint ``<4.7'' comes from the .cabal file,
and by convention, .cabal file authors are encouraged
to be conservative about upper bounds,
that is, if the author hasn't tested it with 4.7.*,
they should write <4.7.

In many cases it is sufficient and safe to just edit the .cabal file,
changing that upper bound to, e.g., ``<4.8''.


Wolfram


More information about the Agda mailing list