[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