Re: Issues with containers and vector on Github

Hi David, I just sat down to look at this today and saw that you seem to have done this over the weekend in commit 8ede1fce858db46c48e8c6f7fd1977b78025b75c. However, there is still no 0.7 tag and the script used to update `strict-containers` depends on the tag. Cheers, Erik David Feuer wrote:

I don't see a relevant branch on GitHub, but take a look at this tag: https://github.com/haskell/containers/tree/v0.7 The last few commits there should be everything relevant that needs to be harmonized.

On Thu, Jul 18, 2024, 6:17 PM Erik de Castro Lopo wrote:

...

Hi David,

Any update on this?

THanks, Erik

David Feuer wrote:

...

Hmmm .... I'll look into that.

On Sun, Jul 14, 2024, 6:28 PM Erik de Castro Lopo wrote:

...

Hi,

I would like to bring you attention to ywo issues:

https://github.com/haskell/vector/issues/496 https://github.com/haskell/containers/issues/1012

Both libraries list this mailing list as maintainers and the versions of both libraries on Github are seemingly behind the versions on Hackage.

I am currently working on updating the `strict-containers` package to work with `ghc-9.10`,

https://github.com/haskellari/strict-containers/issues/14#issuecomment-22274...

...

but this package uses a script to pull `containers`,

...

and `vector` from Github and then generate code from versions it has

`unordered-containers` pull.

...

However it uses git tags and git tags for the latest versions of the above two libraries is missing.

I would very much appreciate it if someone could rectify this situation as soon as possible.

Thanks, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/