Add script to update magic numbers #108
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Add a new script that will bump the magic numbers.
Running this script will:
src/ocaml/utils/config.ml
src/ocaml/typing/magic_numbers.ml
A test run of this script can be done by:
551
with552
inupstream/ocaml_flambda/configure
../update-magic-numbers.sh 5.2.0minus-2
I've performed a few test runs of this script, where:
src/ocaml/typing/magic_numbers.ml
upstream/ocaml_flambda/configure
are not the expected formatsrc/ocaml/utils/config.ml
that the script doesn't know about