-
Notifications
You must be signed in to change notification settings - Fork 15
Merge 5.2.0minus-16 #172
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
Merge 5.2.0minus-16 #172
Conversation
Compiler Merge ChecklistThis PR seems to merge changes from Flambda. Please be sure to follow the below steps:
If this PR is not merging changes from Flambda, feel free to ignore this comment |
|
I've resolved the failing test case |
riaqn
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I had a brief look of the changes in typing that are NOT from the first four commits.
This PR merges in changes from OxCaml version 5.2.0minus-16. The first two commits (bce9ffe and 8d3a6f5) are the result of running the import script and can be skipped. This was a relatively straightforward merge, just with a lot of conflicts (due to a large number of typing changes in OxCaml).
There is currently a failing test (causing CI to fail) that I'm looking into.