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

Compatibility with OCaml 5.3 #1254

Merged
merged 4 commits into from
Dec 5, 2024
Merged

Compatibility with OCaml 5.3 #1254

merged 4 commits into from
Dec 5, 2024

Conversation

Julow
Copy link
Collaborator

@Julow Julow commented Dec 3, 2024

This fixes the compatibility then update the Opam constraints.

Julow added 3 commits December 3, 2024 11:37
This deprecated attribute is not accepted by OCaml 5.3.
Failing to init the lexer will result in keywords not being recognized
with OCaml 5.3.
@Julow Julow added the no changelog This pull request does not need a changelog entry label Dec 3, 2024
@Julow
Copy link
Collaborator Author

Julow commented Dec 3, 2024

This is intended to be released on the 2.4 branch so I'll take care of the changelog later.

@Julow Julow mentioned this pull request Dec 3, 2024
@Julow Julow force-pushed the compat-5.3 branch 3 times, most recently from 3694218 to 117562d Compare December 3, 2024 11:09
@jonludlam
Copy link
Member

Tests are failing on 4.04 and 4.06.

On 4.04 and 4.06 (but not 4.02) this top-comment is lost.
@Julow
Copy link
Collaborator Author

Julow commented Dec 3, 2024

This seems to be an issue in the parser. I found a workaround.

@Julow
Copy link
Collaborator Author

Julow commented Dec 5, 2024

CI is green, let's merge and cut a release !

@Julow Julow merged commit 23747f8 into ocaml:master Dec 5, 2024
14 checks passed
Julow added a commit to Julow/opam-repository that referenced this pull request Dec 5, 2024
CHANGES:

### Added

- OCaml 5.3.0 compatibility (@Julow, ocaml/odoc#1202, ocaml/odoc#1254)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog This pull request does not need a changelog entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants