feature(pkg): dune pkg outdated

[Alizter]

We add a dune pkg outdated package that will display outdated package dependencies with respect to the configured opam repositories.

It comes with a --transitive flag that shows all outdated transitive deps.

• fix Print All Outdated Packages #8031

Screenshots

[rgrinberg]

I like how the output can separate transitive vs. immediate dependencies, but I don't think this is something users will find obvious. So how about making the normal mode explain this. E.g.

12/15 immediate and 140/200 transitive dependencies are out of date. Displaying immediate dependencies only, add `--transitive` to display everything.

[Alizter]

@rgrinberg I've refactored the error handling to use result instead rather than messing around with fibers. At the end I use Fiber.parallel_iter to raise all of them as user errors. I could combine this into a single raise if that's better.

I've also added support for the --all-contexts arg and updated the test so that it works for lockfiles in different contexts also. We also now print which lock file we are talking about to be clearer to the user. See the image in the top post for an updated screenshot.

I'll see what I can do for adding more information about immediate vs transitive deps in the message and also some counting.

[Alizter]

I've merged the errors into a single error message, however they are still separate errors per context. See the test for how this looks in practice.

[Alizter]

I've pushed a change that gives informative statuses based on the information present. Notably there is now a module Dune_pkg.Better_candidate in charge of dealing with all this status printing business. It was getting too long and complex to include in pkg.ml so I opted to move it to its separate module where its internal workings are hidden.

This also lets us test the messages extensively, so I have gone ahead and done that and enumerated all the combinations of 4 packages both transitive and immediate to test how the message ought to change.

I haven't yet settles on the forms of the status, notably I didn't incorporate @rgrinberg's suggestion of counts in the statuses yet.

I also have some cleanup to do in the cram test since there is some redundant information with the context.

I will iterate on this tomorrow.

[Alizter]

I've pushed some more changes.

The number of packages that need updating is now reported. Have a look at the screenshots spoiler in the original post.

Edit: I've tweaked the styles a bit further now.

[rgrinberg]

All the pretty printing code should be moved from dune_pkg and into the binary. All of that stuff are implementation details of the command itself.

[Alizter]

@rgrinberg Can I propose splitting up pkg.ml then? Otherwise that file is getting too long.

[rgrinberg]

How about you just add your own command as pkg_outdated and split the existing stuff in a subsequent PR?

[Alizter]

@rgrinberg Sorry, I didn't mean splitting all the other commands, I just meant outdated.

[Alizter]

@rgrinberg I've removed the changes to the dune files like you suggested.