Skip to content

Make room for more runtime tags #1857

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

Closed
wants to merge 1 commit into from
Closed

Make room for more runtime tags #1857

wants to merge 1 commit into from

Conversation

TheNumbat
Copy link
Contributor

@TheNumbat TheNumbat commented Sep 22, 2023

This PR lowers No_scan_tag by 2 to make room for the upcoming boxed float32 tags.

The change required updating the tag definitions in the stdlib (Obj.ml), and hence changing our compiler's usage of Obj.*_tag during code generation to new target-specific tags defined in ocaml/utils/runtimetags.ml.

Additionally, bootstrapping the upstream build required additional steps now detailed in HACKING.md.

@TheNumbat TheNumbat self-assigned this Sep 22, 2023
@TheNumbat TheNumbat changed the title Add room for more runtime tags Make room for more runtime tags Sep 22, 2023
@TheNumbat TheNumbat force-pushed the f32-runtime branch 2 times, most recently from fcf8576 to 735c776 Compare September 28, 2023 21:24
@TheNumbat TheNumbat marked this pull request as ready for review October 2, 2023 17:59
@mshinwell
Copy link
Collaborator

Closing this as a different approach is being used now.

@mshinwell mshinwell closed this May 2, 2024
@TheNumbat TheNumbat deleted the f32-runtime branch October 2, 2024 17:26
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