Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use effect syntax for OCaml 5.3 #42

Merged
merged 3 commits into from
May 10, 2024
Merged

Conversation

avsm
Copy link
Contributor

@avsm avsm commented May 7, 2024

This currently needs ocaml/ocaml#12309 (soon to be merged) and opam pin add multicont --dev as that also fails to compile with the released version.

avsm added 3 commits May 7, 2024 14:34
Also fix the dynamic_state example which was disabled previously
and hook it back into the Makefile
@avsm avsm mentioned this pull request May 7, 2024
9 tasks
@avsm
Copy link
Contributor Author

avsm commented May 7, 2024

This is expected to fail in ocaml-ci until ocaml/ocaml#12309 is merged. You can try it out quickly by using opam compiler '#12309' to get an opam switch the PR included.

Copy link
Collaborator

@dhil dhil left a comment

Choose a reason for hiding this comment

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

LFTM (looks familiar to me).

@dhil
Copy link
Collaborator

dhil commented May 9, 2024

[..] opam pin add multicont --dev as that also fails to compile with the released version.

Do you want me to prepare a new release?

@avsm
Copy link
Contributor Author

avsm commented May 10, 2024

@dhil a new release would be great! I think it's dhil/ocaml-multicont#8 that is the problem, and you've merged that into your development tree.

@avsm avsm merged commit 123f6b1 into ocaml-multicore:master May 10, 2024
0 of 3 checks passed
@avsm
Copy link
Contributor Author

avsm commented May 10, 2024

It's green now in CI so I've gone ahead and merged this, and also added a note to the README that users who want a pre-effect-syntax can use the 5.1.1 tag instead.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants