Skip to content

[new release] ciao_lwt (3 packages) (0.1)#29477

Open
Julow wants to merge 3 commits intoocaml:masterfrom
Julow:release-ciao_lwt-0.1
Open

[new release] ciao_lwt (3 packages) (0.1)#29477
Julow wants to merge 3 commits intoocaml:masterfrom
Julow:release-ciao_lwt-0.1

Conversation

@Julow
Copy link
Contributor

@Julow Julow commented Feb 27, 2026

A tool for migrating from Lwt to direct-style concurrency libraries

CHANGES:

Initial release

@Julow
Copy link
Contributor Author

Julow commented Feb 27, 2026

The CI tries to build with ocaml != 5.2 and cmdliner.2.1.0 but both are outside the constraints. Is my opam file wrong ?

depends: [
"dune" {>= "3.17"}
"ocaml" {= "5.2"}
"cmdliner"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"cmdliner"

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is used needed by the vendored ocamlformat.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes but it is declared already on line 25, if you keep both it will resolve to no bounds

"dune" {>= "3.17"}
"ocaml" {>= "4.08"}
"base" {>= "v0.12.0"}
"cmdliner" {>= "1.1.0"}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this also be smaller than 2?

depends: [
"dune" {>= "3.17"}
"ocaml"
"cmdliner"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"cmdliner"

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Like above, it is declared also below with partial bounds

"cmdliner"
"ocaml" {>= "4.08"}
"base" {>= "v0.12.0"}
"cmdliner" {>= "1.1.0"}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this also be smaller than 2?

Julow and others added 2 commits February 28, 2026 14:56
Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>
Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants