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

Simplify binary modules types #353

Merged
merged 1 commit into from
Aug 21, 2024
Merged

Conversation

zapashcanon
Copy link
Member

depends on #352

@zapashcanon zapashcanon force-pushed the simplifybinary branch 2 times, most recently from 36246d0 to 979e570 Compare August 20, 2024 17:39
@zapashcanon zapashcanon marked this pull request as ready for review August 20, 2024 17:40
@zapashcanon zapashcanon force-pushed the simplifybinary branch 3 times, most recently from b8cd082 to 5390467 Compare August 21, 2024 14:18
src/link/link.ml Outdated Show resolved Hide resolved
@zapashcanon
Copy link
Member Author

This should be correct now. There was some subtle bug about extra List.rev hidden by the usage of Named.fold... I believe this is the one that caused some debugging troubles to @epatrizio and @krtab some time ago.

This makes the code shorter, easier to understand, more efficient and fix some bugs. Thus I'm going to merge once CI is happy. :)

@Laplace-Demon, could you confirm it it also fixes the issue you are encountering in your other PR ?

@zapashcanon zapashcanon merged commit ea3d9b6 into OCamlPro:main Aug 21, 2024
3 of 4 checks passed
@zapashcanon zapashcanon deleted the simplifybinary branch August 21, 2024 15:03
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