[Agda] Standard library for Agda-2.4.0

[Ulf Norell]

I forgot to mention this last week, but as usual there is a release
of the standard library to go with the Agda release. You can find
it on GitHub here: https://github.com/agda/agda-stdlib/releases.

/ Ulf

[Sergei Meshveliani]

Post by Ulf Norell
I forgot to mention this last week, but as usual there is a release
of the standard library to go with the Agda release. You can find
it on GitHub here: https://github.com/agda/agda-stdlib/releases.
/ Ulf
_______________________________________________
Agda mailing list
https://lists.chalmers.se/mailman/listinfo/agda

I have the two questions.

1. What new agda-stdlib-2.4.0 has with respect to previous version,
to lib-0.7 ?
Which implementations have changed?
Is there release notes? (the ones inside agda-stdlib-2.4.0 talks of
the version 0.7).

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
(probably, it is used in ghc-7.8.2 which I am using).

How to satisfy both ghc-7.8.2 and agda-stdlib-2.4.0 ?
I am in Debian Linux.

Thanks,

------
Sergei

[Andrés Sicard-Ramírez]

Post by Sergei Meshveliani
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
(probably, it is used in ghc-7.8.2 which I am using).
How to satisfy both ghc-7.8.2 and agda-stdlib-2.4.0 ?

Agda just moved to GitHub and there are maintenance branches (not
implemented yet for the standard library). Meanwhile, for fixing your
version of the standard library, see
https://github.com/agda/agda-stdlib/commit/294d9d533a810957a9b0e7ff3d15e7269abb86da
.

[Wolfram Kahl]

Sergei,

Post by Sergei Meshveliani
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