Update to standard-library 1.7.1

[iblech]

No description provided.

[JacquesCarette]

Apparently it's not that simple?

[iblech]

It is :-) You can test it using:

nix-shell -I nixpkgs=https://github.com/iblech/nixpkgs/archive/patch-agda-stdlib1.7.1.tar.gz -p "agda.withPackages (p: [ p.standard-library p.agda-categories ])"

The CI only fails because it does not yet have stdlib 1.7.1 available, which was only released today.

(This pull request is a dependence of a pull request for NixOS, NixOS/nixpkgs#147061.)

[JacquesCarette]

I saw that 1.7.1 was released just earlier today - I was just under the impression that the CI would grab the latest. If it doesn't, then something else needs adjusted too, so that CI passes.

[turion]

I think you need to bump the STDLIB_VERSION variable in github actions as well:

agda-categories/.github/workflows/ci-ubuntu.yml

Line 49 in 1c027de

STDLIB_VERSION: 1.7

Otherwise CI will always pull the specific version 1.7

[MatthewDaggitt]

Just a heads up that upgrading to this release is purely optional. Doesn't change any actual Agda code, only makes the cabal file compatible with GHC 9.2 (hence why it hasn't been announced).

[JacquesCarette]

I wasn't going to upgrade, but I also won't refuse a ready-made PR that makes it all work!

[iblech]

@MatthewDaggitt Thank you for the pointer! I force-pushed to my branch. Let's see what the CI will make of this! :-)

[JacquesCarette]

The CI liked it. I'm still vaguely reluctant. Opinions?

[turion]

My two cents: If you merge it you'd have to bump (and eventually release) the agda-categories version as well, since it will not be compatible with standard-library-1.7 anymore.

[MatthewDaggitt]

Ah, the perils of making our first backwards compatible release. We realise we don't have any mechanism for compatible versioning management 😆

[iblech]

Hm... yes indeed. Any thoughts on that? We could also patch agda-categories locally in nixpkgs.

[turion]

I think you should merge and bump agda-categories. Releases are simple to download, so people can stay with 1.7 if that's important to them.

[JacquesCarette]

I'm going to pull in a few more PRs first, and then merge-and-bump.

[pthariensflame]

Is this in process still?

[JacquesCarette]

The PRs that I wanted to pull in are in. I just have not had any time to devote to this in the last few weeks. Looks like the next 2 weeks are also a disaster, but clear up after that. I'd be happy to get a co-maintainer though from the people who have submitted many PRs previously, such as @TOTBWF or @sstucki .

[TOTBWF]

I'd be more than happy to help out!

[JacquesCarette]

I'd be more than happy to help out!

Great - see your email for more.