Skip to content

Conversation

@liam923
Copy link
Contributor

@liam923 liam923 commented Jan 29, 2026

This PR merges oxcaml changes from 5.2.0minus-26 5.2.0minus-27 5.2.0minus-28 5.2.0minus-29 into Merlin. The first 5 commits (up through 7f6db6c) are the result of running the import script and resolving trivial issues and thus should be skipped. Commits 2ddd27f and 5bf5842 should also be skipped, as they were the result of running the import script a second time to deal with a re-tag.

@github-actions
Copy link

github-actions bot commented Jan 29, 2026

Compiler Merge Checklist

This PR seems to merge changes from Flambda. Please be sure to follow the below steps:

  • Update the magic numbers
  • Update list of compiler flags to ignore
  • Make Merlin know about new relevant compiler flags

If this PR is not merging changes from Flambda, feel free to ignore this comment

@liam923 liam923 changed the title Merge ~5.2.0minus-26~ ~5.2.0minus-27~ ~5.2.0minus-29~ 5.2.0minus-29 Merge 5.2.0minus-29 Jan 29, 2026
@liam923
Copy link
Contributor Author

liam923 commented Jan 29, 2026

I've done another merge to deal with another retag. You should also skip reviewing commits 01e148c and cc85c59.

@liam923 liam923 merged commit 63a6528 into main Jan 29, 2026
2 checks passed
Lucccyo pushed a commit to Lucccyo/oxmerlin that referenced this pull request Feb 10, 2026
* Import ocaml sources for oxcaml/oxcaml@977afdd4ebd

* Automatic merges

* Commit conflicts

* Resolve trivial conflicts

* Resolve trivial type errors

* Fix remaining errors

* Bump magic numbers

* Promote tests and fix some issues

* Bump bootstrap compiler for flambda on github

* Fix formatting

* Import ocaml sources for oxcaml/oxcaml@0a1dc8de0264

* Automatic merges

* Fixup jkind printing

* Add flags

* Import ocaml sources for oxcaml/oxcaml@4ac226a124a5

* Commit conflicts

* Resolve conflicts

* Update version name

* Promote tests
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