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.

Sign up for GitHub

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

Jump to bottom

Limit declaration of C primitives in runtime headers #9919

Merged
merged 3 commits into from
May 27, 2021
Merged

Limit declaration of C primitives in runtime headers #9919

merged 3 commits into from
May 27, 2021

Commits on Sep 15, 2020

  1. Remove unnecessary declarations of primitives 

    These are inside CAML_INTERNALS blocks
    @dra27
    dra27 committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    0018fe2 View commit details
    Browse the repository at this point in the history

  2. Introduce caml_do_exit 

    For calling from C, eliminating the need to export caml_sys_exit
    @dra27
    dra27 committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    9b5ad54 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2020

  1. Introduce caml_record_backtraces 

    The manual suggests calling caml_record_backtrace (which is the
primitive), but this symbol is not declared publicly in the headers. All
occurrences in C, and the use-case detailed in the manual, are for
turning backtraces on, so introduce an actual C function to do this and
remove the declaration of the primitive.
    @dra27
    dra27 committed Sep 16, 2020
    Configuration menu
    Copy the full SHA
    27e677f View commit details
    Browse the repository at this point in the history