diff options
| author | Guillaume Melquiond | 2019-11-12 10:57:23 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-12-22 17:20:15 +0400 |
| commit | a028a97005b88a66a9d6dbaa4f0ade38859beffb (patch) | |
| tree | 96fe1ddb998dc0316a75247e1ca0d9d25535d0cc /kernel/type_errors.ml | |
| parent | 9c75b6a6582620e2fb9a39c1ea1aa46a321af6a7 (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/type_errors.ml')
0 files changed, 0 insertions, 0 deletions
