aboutsummaryrefslogtreecommitdiff
path: root/kernel/genOpcodeFiles.ml
diff options
context:
space:
mode:
authorGuillaume Melquiond2019-11-12 10:57:23 +0100
committerGuillaume Melquiond2019-12-22 17:20:15 +0400
commita028a97005b88a66a9d6dbaa4f0ade38859beffb (patch)
tree96fe1ddb998dc0316a75247e1ca0d9d25535d0cc /kernel/genOpcodeFiles.ml
parent9c75b6a6582620e2fb9a39c1ea1aa46a321af6a7 (diff)
Use the Alloc_small macro from the OCaml runtime rather than our own.
We cannot use caml_alloc_small because the macros Setup_for_gc and Restore_after_gc are still relevant (and critical). This means defining the CAML_INTERNALS macro, but it is a legit use and actually documented in the OCaml manual. This will help with forward compatibility with OCaml compilers, e.g., issue #10603. Unfortunately, it also means that we can no longer use #9914 to prevent memory corruption. The old macro is still used for OCaml versions prior to 4.10, as the upstream macro might process Ctrl+C when it is called.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions