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

Move float32 back to stable #2915

Merged
merged 5 commits into from
Aug 14, 2024
Merged

Move float32 back to stable #2915

merged 5 commits into from
Aug 14, 2024

Conversation

TheNumbat
Copy link
Contributor

@TheNumbat TheNumbat commented Aug 9, 2024

To merge after javascript/wasm support is released.
To fix bytecode float32 constants in stdlib_stable, we will also need to stop compiling otherlibs with the boot compiler.

@TheNumbat TheNumbat requested review from ncik-roberts and ccasin and removed request for ncik-roberts August 9, 2024 20:53
@TheNumbat TheNumbat requested review from dkalinichenko-js and removed request for ccasin August 14, 2024 17:01
Copy link
Contributor

@dkalinichenko-js dkalinichenko-js left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It would be good to add a test that float32 and float32# primitive types are not defined with -extension-universe upstream_compatible.

@TheNumbat
Copy link
Contributor Author

Sure, added for both small_numbers and simd. The output is slightly different than test_disabled because upstream_compatible disables both extensions.

@TheNumbat TheNumbat merged commit b793204 into main Aug 14, 2024
17 checks passed
@TheNumbat TheNumbat deleted the f32-stable branch August 14, 2024 18:26
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
* Revert "Move float32 back to beta (ocaml-flambda#2843)"

This reverts commit 4846e6c.

* fix test

* upstream_compatible test

* upstream_compatible simd test
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